任意の置換は、互換の積として表せる.
、