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

Nullstellensatz