如果定理的条件被证明为真，则我们可以使用此定理来确定我们的程序的定理结果的正确性。
If the conditions of the theorems are shown to be true, then we can use the theorem to establish the truth of the theorem's result for our program.
由于这个定理的使用条件是非常清楚的，从而分析了一些矛盾。
The clarity of the theorem's service conditions results in the analysis of a few contradictions.
对闭区间套定理的条件作一些变动或增加，可以得到相同的结论。
Change or increase some conditions of the theorem of interlink of close interval, we can reach the same result.
应用推荐