theorem LmTriv: :: GROUP_23:21

for M being strict multMagma st ex x being object st the carrier of M = {x} holds
ex G being trivial strict Group st M = G