斯拉茨基公式引理一证明