Krull–Schmidt Theorem - Ontify