证明题的简单分类