当你知道底部已经到达,但你还无法证明这一点。