==> analysis/functional/linear.p <==
Suppose f is non-decreasing with
  f(x+y) = f(x) + f(y) + C   for all real x, y.
Prove: there is a constant A such that f(x) = Ax - C  for all x.
(Note: continuity of f is not assumed in advance.)