Cayley's Theorem on symmetric groups — LessWrong