theorem Th43: :: MESFUNC6:43

for r being Real holds |.r.| = |.r.|