定理的

We analyse the Lewy theorem and the provement idea of the theorem, and find the equation (7)and (8)are not equivalent under the reversible transformation, this lead to the absurdity in the provement does not come into existence .

分析Lewy定理及定理的证明思想，发现在证明中所述的可逆变换下，方程（7）与（8）并不等价，导致Lewy定理证明中归谬不成立。

In recent years, along with the intensive study and extension of residue theorem, the residue theorem has been more intensively used, which illustrates the importance of residue theorem and its use value to a certain extent

近年来随着留数定理的深入研究与推广，留数定理得到了愈加广泛的运用，这在一定的程度上也说明了留数定理的重要性及其运用价值

Fermat s little theorem is one of the important theorems in number theory,but there has been little discussion in geometric field about it.

费马小定理是数论中的一个重要定理，但对其几何意义的论述几乎没有，给出了费马小定理的几何意义。

The last chapter talks about the H"yashenko"s two-side cycle theorem, that is, every two-side cycle of an analytic vector field in the real plane is the finite polycycle. The quadratic finiteness theorem is a direct corollary of this theorem.

最后一章介绍了Il'yashenko两边形定理，即实平面上解析向量场的任一两边形均为有限多边环，这个定理的直接推论便是二次系统的有限性定理。

This paper gives the new method to prove the Cauchy Mean Value Theorem ,which also may be deduced from the Lagrange Mean Value Theorem.

给出柯西中值定理的一个新的证法，说明柯西中值定理也可由拉格朗日中值定理导出。

A three solutions theorem of nonlinear operator equation in Hilbert space was given by Sun Jing-xian in 1983,in this paper,the theorem was expanded to general Banach space by using gradient method ,and some conditions was weakened,such as the local Lipschitz condition s transformation to the bounded character of F and so on.

依据H ilbert空间中非线性算子方程的一个三解定理，本文运用最速下降法将这个定理推广到了一般的Banach空间，并且减弱了原定理的某些条件，如将局部Lipschitz条件减弱为F的有界性等

Thirdly,the paper combines mathematical knowledge with the Rolle\'s theorem implemented in Mizar system already, implements the exert and promotion of Rolle\'s theorem and Cauchy mean value theorem in Mizar system.

将Mizar系统中已实现的洛尔定理与相关数学知识相结合，在Mizar系统中实现了洛尔定理和柯西中值定理的一些应用和推广。

The uniqueness problems of meromorphic functions involving multiple values have been discussed with Nevanlinna theory and a series of unicity theorems have been derived in the this paper.

用Nevanlinna理论对涉及重值时的亚纯函数唯一性问题进行了讨论，并得出了一系列唯一性定理，其中有些定理是对Nevanlinna R，仪洪勋，杨力，Ozawa M等人的几个定理的推广。

Introduced in the third chapter with 区间套 theprinciple, the true principle, the fluxionary calculus proved threemethods have carried on the proof to a zero theorem; Then introduces azero theorem the promotion; Finally introduced the zero theorem twoapplications.

在第三章中介绍了用区间套原理、确界原理、微积分证明三种方法对零点定理进行了证明；接着介绍零点定理的推广；最后介绍了零点定理的两个应用。

Kuciweier (harbor interpret: Library favour) publish " demon robot " one book, internet of explain palpability future will mix complete mankind and even other live thing the concept that is not organism assemble to become system of a complete consciousness, a tide is aroused in American academia. 2001, he puts forward rub the patulous theorem of Er theorem, namely Kuciweier is theorematic (Kurzweils Law Of Accelerated Return).

库茨维尔颁发的《精灵机械人》一书，阐了然未来互联网将把全人类甚至其他生物和非生物体汇集成一个破碎意识体的概念，在美国学术界激发一片浪潮。2001年，他提出摩尔定理的扩展定理，即库茨维尔定理(Kurzweils Law of Accelerated Return)。

We have no common name for a mime of Sophron or Xenarchus and a Socratic Conversation; and we should still be without one even if the imitation in the two instances were in trimeters or elegiacs or some other kind of verse--though it is the way with people to tack on 'poet' to the name of a metre, and talk of elegiac-poets and epic-poets, thinking that they call them poets not by reason of the imitative nature of their work, but indiscriminately by reason of the metre they write in.

索夫农 、森那库斯和苏格拉底式的对话采用的模仿没有一个公共的名称；三音步诗、挽歌体或其他类型的诗的模仿也没有——人们把&诗人&这一名词和格律名称结合到一起，称之为挽歌体诗人或者史诗诗人，他们被称为诗人，似乎只是因为遵守格律写作，而非他们作品的模仿本质。

The relationship between communicative competence and grammar teaching should be that of the ends and the means.

交际能力和语法的关系应该是目标与途径的关系。