Doob's Optional Stopping Theorem

Also see

 * Integrable Adapted Stochastic Process is Supermartingale iff Optional Stopping Theorem Holds establishes the converse to this result.