(related to Corollary: Probability of the Impossible Event)
According to the proposition about the probatility of the complement event, and the axiom of the probability of the certain event, we have
\[p(\emptyset)=p(\overline\Omega)=1-p(\Omega)=1-1=0.\]
