（けい） (数学) ある定理から容易に導き出される命題で、特に言及する必要性がある場合に焦点が当てられるもの。