27状態のTuringマシンが停止するならGoldbach予想は偽