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