(Omega).
G
is
normal
Subgroup
of
G
by
GROUP_3:114
;
hence
[.
(
(Omega).
G
)
,
(
(Omega).
G
)
.]
is
strict
normal
Subgroup
of
G
by
Th68
;
:: thesis:
verum