有限生成群の語の問題って関係子が一つなら解けるんだっけ?