俄语么？长的和我们数学分析上的定理名称有点像。。。