群 <x, y, z | x^3, y^3, z^2, x*y*z> を考える。
この群の元 y*x*y*x は 1 に等しいことを示せ。