theorem

/ˈθɪɹəm/

• na proposition deducible from basic postulates