定理
意味
真実であることが証明された
命題
のこと