theorem :: XREAL_1:11

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