>>498について勝手に推測。>>498の最後の部分で、
「任意の実数 x,y に対して f(y) = f(x) + (y - x) * f'(x)」が示せている。

a≠b なる実数 a,b を任意に取る。
x＝a, y＝b を適用して f(b) = f(a) + (b - a) * f'(a) なので、(f(b)−f(a))/(b−a) ＝ f'(a)
x＝b, y＝a を適用して f(a) = f(b) + (a - b) * f'(b) なので、(f(a)−f(b))/(a−b) ＝ f'(b)

(f(b)−f(a))/(b−a) ＝ (f(a)−f(b))/(a−b) だから、f'(a)＝f'(b)
a≠b は任意だから、f'(x) は x∈R 上で定数。よって、f は高々1次関数。