定理

theorem

証明された真なる命題をいう。