定理

dìng
theorem

CEDICT

Entry Composition