Skriv A∪B som union av tre disjunkte deler: A∪B=(A∖B)∪(A∩B)∪(B∖A). Ved additivitet for disjunkte hendelser er P(A∪B)=P(A∖B)+P(A∩B)+P(B∖A). Siden P(A)=P(A∖B)+P(A∩B) og P(B)=P(B∖A)+P(A∩B), gir innsetting P(A∪B)=P(A)−P(A∩B)+P(A∩B)+P(B)−P(A∩B)=P(A)+P(B)−P(A∩B). Snittet trekkes fra fordi det ellers telles to ganger.