基本已经可以证明