theorem Th3: :: GROUP_1:3

( multMagma(# REAL,addreal #) is associative & multMagma(# REAL,addreal #) is Group-like )