その写像gを作ればいいだけ。
必要な情報はすべて問題の中に書かれている。
即ち、s∈S'に対してg(s)=(t_{i})∈ΣS_{i}　と表される筈であるが、
そのときこの各t_{i} はどうなっていなければならないかを考える。