Hurwitz's automorphisms theorem