Template:Variety-algebra automorphism property