Template:Puregtprovedusing

This is a purely group-theoretic statement whose proof requires the use of some more advanced machinery, namely that from: