theorem Th26: :: XREAL_1:26

for a, b being Real st - b <= a holds
- a <= b