他の証明方法として、kが計算不能であることを停止問題hが計算不能であることに帰着して示すこともできる。