theorem Th52: :: MONOID_0:52

<NAT,*> = multMagma(# NAT,multnat #) by Def31;