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