证明的分类