上記において、formula_58は以下の性質を満たす "l" の自己同型写像formula_60で生成される。