prob(prov)=prove or proof证明;检验