theorem Th114: :: GROUP_3:114

for G being Group holds
( (1). G is normal & (Omega). G is normal ) by Th67, Th69;