拉普拉斯变换性质的证明