theorem Th45: :: COUSIN:60

for a, b being Real st a < b holds
<*a,b*> is non empty increasing FinSequence of REAL