该 next 下,prover 为空或不存在