theorem Th4: :: JORDAN2C:10

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