Orbit-stabilizer theorem