请告诉我这是什么定理,并给出证明过程