theorem Th18: :: COUSIN:25

product <*REAL*> = REAL 1