Template:Automorphism property implication