Description: Equivalence for the "less than" relation between differences and sums. (Contributed by AV, 6-Jun-2020)