www.fxcorrida.com:请告诉我这是什么定理,并给出证明过程