Proof of Orthogonal Decomposition Theorem