f : R^2 → R を微分可能な関数とし、

-y * ∂f/∂x + x * ∂f/∂y = 0

を満たすとする。

このとき、1変数の関数 F(x) により、 f(x, y) = F(sqrt(x^2 + y^2)) と表される
ことを示せ。