theorem Th7: :: MESFUNC7:7

for r being Element of ExtREAL holds Product <*r*> = r