拉氏变换性质的证明