Vrijedi ova inkluzija: 
.
Neka je x iz skupa na lijevoj strani. To znaci da vrijedi:
((x iz A) ili (x iz BUC)) i (x nije iz (A presjek BUC))
Ako je x iz C, onda je sigurno iz skupa na desnoj strani.
Pretpostavimo da x nije iz C. Tada, ako je x iz unije BUC, onda je iz B. Sad znamo ovo:
((x iz A) ili (x iz B)) i (x nije iz (A presjek BUC))
(A presjek BUC) je nadskup od (A presjek B). Buduci da x nije iz veceg skupa, nije ni iz manjeg. Dakle, znamo ovo:
((x iz A) ili (x iz B)) i (x nije iz (A presjek B))
Tu pise da je x iz simetricne razlike od A i B.
Dakle, ili je x iz C, ili je iz simetricne razlike A i B. U svakom slucaju je iz njihove unije, a to je skup na desnoj strani.
_________________
Vedran Krcadinac
Ljudi su razliciti, a nula je paran broj.
