optional sampling

There is a second part to Theorem 8.2.4 (optional sampling), which says the following.
Theorem 8.2.4
A martingale stopped at a stopping time is a martingale. A supermartingale {or submartingale) stopped at a stopping time is a supermartingale (or submartingale, respectively).