(Geometric Poisson process). Let $N(t)$ be a Poisson process with intensity $\lambda>0$, and let $S(0)>0$ and $\sigma>-1$ be given. Using Theorem 11.2.3 rather than the Itô-Doeblin formula for jump processes, show that
$$
S(t)=\exp \{N(t) \log (\sigma+1)-\lambda \sigma t\}=(\sigma+1)^{N(t)} e^{-\lambda \sigma t}
$$
is a martingale.