This result is known as the orbit-stabilizer theorem.
} これは orbit-stabilizer theorem として知られている。