probability of complementary
For any event , from which .
\begin{proof}
In Axiom 3, let , , and .
Since by definition of , while and are disjoint, .
\end{proof}
This proposition is surprisingly useful because there are many situations in which is more easily obtained by direct methods than is .