Vocabulary
定理
ていり
theorem; proposition
noun