这个定理想说什么，怎么证明