theorem Th11: :: UNIFORM1:11

for r, s being Real holds |.(r - s).| = |.(s - r).|