Orbit-stabilizer theorem

For a finite group acting on a set and any point $x$,Indeed, $g{G}_x\mapsto gx$ is a well-defined bijection from the left cosets of the stabilizer to the orbit.