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

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