dìng​lǐ

theorem