単位円板と同相な面があったとき、conformalな写像が存在して、単位円板に滑らかに移せる、しかもしれは一意、というのがリーマンの写像定理 存在証明と一意性の証明はされるものの、「みつける」のは面倒くさくて、計算機的にはちまちまと計算するらしい 数…