(1). G is commutative ;
hence ex b₁ being Subgroup of G st b₁ is commutative ; :: thesis: verum