已經證明具有正確性、可以作為原則或規律的命題或公式，如幾何{1}。

動量定理  圓冪定理  加法定理  三垂線定理  余弦定理  梅內勞斯定理  因式定理  余數定理  勾股定理  射影定理  動能定理  微積分基本定理  逆定理  正弦定理  二項式定理  韋達定理  算術基本定理  塞瓦定理  中國剩余定理  帕斯卡定理  代數學基本定理