df/dt=0ならば
f=tによらない定数であることを証明するにはどうすればいいんですか?