theorem :: XREAL_1:14

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