まだ終わっていないが、それを証明できないとき。
114.5K