Let be a Group and a set. Suppose we have a Group action . Let Then there is a bijection between the Orbit of and the cosets of Stabilizer of i.e.: Furthermore, if is finite, then Proof Send .