líng​diǎn​dìng​lǐ

Hilbert's Nullstellensatz