Let S be a well defined sample space where E, F and G are events. It is the case that Pr( E U F ∩ G)= 1- Pr(E' ∩ F') - Pr(G' ∩ (E U F))