超関数の意味の微分が0だったら、定数関数になりますか?