离散数学 证明 前提 2是素数或者合数