← Math 412. The Orbit Stabilizer Theorem