Category:Automorphism property implications