theorem Th41: :: NUMBER17:41

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