Automorphisms Form a Group