(0). G is normal by Th67;
hence ex b₁ being Subgroup of G st
( b₁ is strict & b₁ is normal ) ; :: thesis: verum