theorem Th6: :: MESFUNC7:6
Product (<*> ExtREAL) = 1