theorem Th2: :: RFUNCT_3:2

for r being Real holds |.r.| = (max+ r) + (max- r)