TeX source:
P(A)+P(B)>1