词语：定理
语境：他开创了数学机械化研究领域，用算法的观点对中国古算作了分析，同时提出用计算机自动证明几何定理的有效方法，在国际上被称为“吴方法”。
释义：定理：已经证明具有正确性、可以作为原则或规律的命题或公式。
构词方式：定中
语素1释义：已定的；不变的。
语素2释义：道理；事理。