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