Optional Sampling Theorem Proof