n. a proposition deducible from basic postulatesn. an idea accepted as a demonstrable truth
n. 定理, 原理[化] 定理