for G being Group
for H being strict Subgroup of G st H is maximal holds
Phi G is Subgroup of H