Orbit-Stabilizer Theorem

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 .