这是使用的泵引理的正确方法？
同时得出一个可行边交换的引理。
And the lemma of efficient edge exchange was given and proved.
比方说某人有一条引理用于证明论文的主命题。
For instance, suppose one has a serviceable lemma that suffices for the task of proving the main theorems of the paper at hand.
本文的证明主要运用了山路引理。
第一章，基本概念和引理。
我们来证明下面的冗长的技术性的引理。
在概率方法中，局部引理是一个关键技术。
第二章介绍了矩阵知识、岭估计和若干引理。
Then the knowledge of the matrix, ridge estimation and several lemmas are introduced.
在本文第二部分，我们给出一些符号及引理。
在引理15'的假设下，技术条件B是真命题。
Under the hypotheses of Lemma 15 ', technical condition B is true.
给出了亚纯函数四值定理中一个引理的简化证明。
We will give reduce demonstration for a lemma in four values theorem of meromorphic function.
给出廖山涛一个关键的组合引理一个几何式的证明。
It is given a geometrical proof of an essential combinatorial lemma of Liao.
这样读者就可以完整地跳过引理15'，完全不必关心B了。
Then that reader can skip the proof of Lemma 15 'completely, and not have to deal with B at all.
给出了三条引理，证明了一条预备定理与十一条定理。
The paper discusses on the nature of the space and proves a preparatory theorem and eleven theorems.
斯波纳引理涉及到把一个单纯形分解为较小的单纯形的问题。
Sperner's lemma concerns the decomposition of a simplex into smaller simplices.
结论针刺牵引理疗综合治疗腰椎间盘突出症具有良好的效果。
Conclusion the compound treatment with acupuncture and traction integrated physiotherapy has significant curative effect on inter-vertebral disk displacement.
最后利用引理的结论得出了该网络全局一致渐近稳定的结论。
In the end, the conclusion of global consistent asymptotic stability for the network is drawn from the lemma.
本文研究了二次标准加入法原理，证明了四个引理和两个定理。
The principle of a double standard addition method is strictly demonstrated. Four lemmas and two theorems are given and proved.
我们先证明问题解的局部存在性和唯一性，并建立两个比较引理。
At first, we will prove the local existence and uniqueness of the solution, and establish two comparison lemmas.
此外，作者还提出加强列车牵引理论和应用的基础性研究等建议。
In addition, several Suggestions, including emphasis on the basic research on railway train traction in theory and application are made.
此外，作者还提出加强列车牵引理论和应用的基础性研究等建议。
In addition, several Suggestions, including emphasis on the basic research on railway train traction in th...
针对事后入侵响应，提出了一种基于引理推理的攻击过程分析方法。
Based on abduction inference, a method of network attack process analysis for incident response was designed.
第二章介绍了本文中的模型的主要假设以及在下文中用到的两个引理。
The second chapter Introduce the key assumptions and two lemma which are very useful below.
对于多元正态随机变量二次型的独立性的证明，最重要的是证明一个引理。
It is very important to prove a lemma for the proof of the independence between two quadratic forms of multivariate normal variables.
牵引理疗仪是医院常用设备，多台理疗仪的操作控制和相应记录管理非常繁琐。
Traction physiotherapy tables are widely used in many hospitals. It is complex to control the tables, and the management of the records is another trouble.
利用分叉引理对签名体制进行证明，是进行签名体制安全性证明的一种重要方法。
Using forking lemma to prove signature scheme is an important method to prove the security of signature schemes.
当量测方程奇异假设条件成立及引理有解时，本文证明了最小阶奇异滤波器必定存在。
When the observational equation is under the hypothesis on singularity and a solution of the lemma exists, we show that there exists a minimal order filter.
当量测方程奇异假设条件成立及引理有解时，本文证明了最小阶奇异滤波器必定存在。
When the observational equation is under the hypothesis on singularity and a solution of the lemma exists, we show that there exists a minimal order filter.
应用推荐