Orbit-stabiliser theorem — LessWrong