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