Orbit-stabiliser theorem - History — LessWrong