Optional sampling theorem for a supermartingale

For bounded stopping times $\sigma \le \tau$, a supermartingale satisfies $\mathbb{E}[V_{\tau }\mid {\mathcal{F}}_{\sigma }]\le V_{\sigma }$; equality holds for a martingale.