正铉定理写一遍