theorem :: XREAL_1:12

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