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