微分方程式で怖いのは関数解析とか大道具を使って何か示した後で
ゴリゴリ微積で解が厳密に求まっちゃった時だよ