ループがエンドレスかどうかを証明するのは無理じゃね