Laplace Transform of Exponential times Function/Examples/Example 4/Proof 1