拉普拉斯定理推论证明