for r being Real holds MIM <*r*> = <*r*>