>>20
aが2あり、(4) はありえない。矛盾している。停止の可能性、覚悟した方がいいと思う。