証明問題である関数が定数であることを証明しなければ
ならないのですが、定数の定義ってなんですか？