Orbit stabilizer theorem