Liouville's theorem
であるから、formula_8となるところにおいて悉くformula_9となり、リウヴィルの定理によってformula_10は定数である。formula_11として