Template:Coprime automorphism-faithful subgroup statement