类型:proves