Liouville's theorem
注意することは、これらの間には、Δ ⊆ C ⊆ formula_6の包含関係があるが、リウヴィルの定理により、逆向きの写像は定数写像以外は存在しない。