Alternating group is generated by its three-cycles — AI Alignment Forum