证明题中由算术得来结果依据是什么