The expected value of an indicator is the probability of its defining event

Theorem