Hurwitz's automorphism theorem