TeX source:
P(\Omega)=1=P(A)+P(A^{c})