>>387
何を証明すれば良いのかな？
代入すれば方程式と境界値条件を
満足していると思うが。