當然是定理。
定理(英語:Theorem)是經過受邏輯限制的證明為真的陳述。一般來説,在數學中,只有重要或有趣的陳述才叫定理。證明定理是數學的中心活動。公理是不證自明的基本事實,經過人類長期反覆實踐的考驗,不需要再加證明的基本命題,經過人類長期反覆實踐的考驗,不需要再加證明的命題。