The arguably most important theorem for martingales is the Optional Stopping Theorem (Theorem REF ). We use a version given by Grimmett and Stirzaker [1]} that can be extended to super- and submartingales.
