theorem Th40: :: NUMBER17:40

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