引理，辅助定理被认为是合理且被用于证明主要命题的次要命题

引理，辅助定理被认为是合理且被用于证明主要命题的次要命题的英文翻译

基本释义

• A subsidiary proposition assumed to be valid and used to demonstrate a principal proposition.