theorem Th18: :: COUSIN:21

product <*REAL*> = REAL 1