Orbit Decomposition Theorem