theorem Th36: :: MEASURE6:36

for r, s being Real st |.r.| + |.s.| = 0 holds
r = 0