Template:Sylow-isomorphism-type control result