任意の置換は互換の積で表せます
任意の互換は隣同士の要素の互換の積で表せます
終わり