導函数が0になる函数は定数函数以外にはない,定数函数の導函数は0になる.
微分方程式を解くときにこのことを知らないといけない.