类型:证明