等角写像の定義は互いに同値でないものが3つくらいあるようだが