Image of the identity under a group homomorphism is the identity — LessWrong