预备定理

yùbèi dìnglǐ

мат. вспомогательная теорема, лемма