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