theorem Th44: :: XREAL_1:44

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