 Zero is absorbing for a nonnegative supermartingale

If a nonnegative supermartingale reaches zero at a discrete stopping time, its later nonnegative values have conditional expectation at most zero and must also be zero almost surely.