theorem ThMinorAnnoyance: :: GROUP_23:95

for G being Group
for H being Subgroup of G st H is normal Subgroup of (Omega). G holds
H is normal Subgroup of G