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