theorem

theorem
/ˈθɪərəm; `θiərəm/ n
1 rule in algebra, etc, esp one expressed as a formula （代数等的）定理（尤指以公式表示的）.
2 mathematical statement to be proved by a chain of reasoning （数学的）命题.

牛津英汉双解词典