>>516431
動いてるかわからない。
動いてないかわからない。
証明が必要だとしたら前者だと思います。