The translation property (Theorem 1.7) states
Prove that the following is equivalent to the translation property:
Proof. Let and
. Then, by the translation property we have:
using in the theorem. Substituting
and
back into the equation, we obtain,
I think there’s a typo on the first integral it should be dx not dt, i think.