引理；辅助定理a statement that is assumed to be true in order to test the truth of another statement
2.
词根，词元（词的基本形式，如名词单数或动词的不定式形式）the basic form of a word, for example the singular form of a noun or the infinitive form of a verb, as it is shown at the beginning of a dictionary entry
