Kalman Decomposition Theorem