theorem :: GROUP_3:116

for G being Group
for H being strict Subgroup of G st G is commutative Group holds
H is normal by Th73;