>>659
aが停止する自然数ならa+1も停止するってことが証明できないということ?不思議ね