定理
ていり theorem proposition