theorem Th38:
  for G being non empty multMagma holds
  id the carrier of G is multiplicative;
