theorem
  for G1, G2, G3 being commutative Group holds
    <*G1,G2,G3*> is Group-like associative commutative multMagma-Family
      of {1,2,3};
