theorem Th114:
  (1).G is normal & (Omega).G is normal
by Th67,Th69;
