theorem Th6: :: MESFUNC7:6

Product (<*> ExtREAL) = 1