零点定理 língdiǎndìnglǐ Hilbert's Nullstellensatz Origin Definitions Defs Strokes Stroke Words Sentences Sents