theorem Th39: :: NUMBER17:39

for r1, r2 being Real st r1 < r2 holds
<*r1,r2*> is increasing