Orbit–stabilizer theorem