実際に "h" を "t" で微分すると、"dh"/"dt" ＝0となり、"h" が定数であることが確認できる。