Levi Decomposition Theorem - Ontify