==> analysis/functional/distributed.p <==
     Find all f: R -> R, f not identically zero, such that
(*)     f( (x+y)/(x-y) ) = ( f(x)+f(y) )/( f(x)-f(y) ).