Cauchy's functional equation (source code)

= Cauchy's functional equation
{wiki}

Nice result on <Lebesgue measurable> required for uniqueness.