[引理]
引理（Lemma）
[引理] 引理（Lemma）
“引理”是需要证明的辅助命题，主要用于为其他定理铺路，单独看可能不太起眼。