Template:Variety-expressible automorphism property