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

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