theorem :: XREAL_1:62

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