定理

ある理論体系において、
その公理や定義をもとにして証明された命題で、それ以降の推論の前提となるもの。
いろいろな検討は定理が前提である。
先人がすでに行った定理を用いて新たな命題、、次の定理を導く。
定理とは人間の検討の歴史のようなもの。
そう考えると、定理そのものより、
定理をどうやって導いたのか過程（歴史）のほうが気になるのは、
僕の悪い癖なのかなあ。