Hurwitz automorphisms theorem