Wall's theorem on automorphisms