Doob's Optional Stopping Theorem for Stopped Sigma-Algebra of Bounded Stopping Time

Also see

 * Doob's Optional Stopping Theorem