4888状態Turingマシンの停止性が判定できるならGoldbach予想が解ける