要确定一个命题是真命题,必须通过推理证实,这样得到的____叫做定理。