orthogonal decomposition theorem