x is member of A & (B union C)
x is member of A or x is member of(B union C)
x is member of A & (x is member of B or x is member of C)
(x is member of A & x is member of B) or (x is member of A & x is member of C)
(x is member of (A inters B)) or (x is member of (A inters C))
x is member of ((A inters B) union (A inters C))
پس رابطه اثبات شد