theorem Th2: :: NUMBER03:2

for e1, e2, e3, e4, e5 being ExtReal st e1 <= e2 & e2 <= e3 & e3 <= e4 & e4 <= e5 holds
e1 <= e5