通过一定论据而证明为真实的命题。每个定理都包括“条件”和“结论”两个部分。条件是已知的部分，结论是从条件经过推理而得到的结果。 z1dY5VUuo5E9nf7DyvhClF8iiGN4Y1/1GjKbnQmn1Zk+t2Ycy8UvUY5mkKVYn6zq
