全ての実数に対して定義され、発散する点以外で微分可能な関数 $f(x)$ と、実数 $a$ に対して定義される関数 \[ F(x) = f'(x)f(x) + x - af'(x) \] は、必ず全ての実数を動く。

$(i) f(x) = a$ となるような $x$ について
このような $x$ を $x = t$ とすると、$F(t)=t$ である。
$(ii)$　それ以外の場合について
$b$ を実数とし、$a \neq f(b)$ とする。
$y=f(x)$ 上に $(b, a)$ との距離が最小となる点は必ず存在する。その点を $(u, f(u))$ とする。$(u, f(u))$ と $(b, a)$ を半径とし、中心が $(b, a)$ である円を $C$ とする。 この時、円$C$ と $y=f(x)$ に交点が存在するとすると、円$C$ 内に $y=f(x)$ 上の点が存在するため、$(u, f(u))$ より距離が小さい点が存在する事となり、矛盾する。よって、存在する共有点は必ず接点であり、距離が最小である $(u,f(u))$ は接点となる。すなわち、$y=f(x)$ 上の点においての接線と、$(u,f(u))$ と $(b, a)$ を結んだ直線は直交する。よって、 \begin{equation} \frac{a - f(u)}{b-u} \cdot f'(u) = -1 \end{equation} である。すなわち、 \begin{eqnarray*} af'(u) - f'(u)f(u) + b - u = 0 \\ \therefore F(u) = b \end{eqnarray*} $b$　は $t$ 以外の値を取る事ができるため、$F(u)$ は　$t$ 以外の全ての実数を取ることができる。

$(i)(ii)$ より、$F(u)$ は全ての値を取る事が出来る。