Hurwitz's theorem on automorphisms