Template:Automorphism property non-implication