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

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