שינויים

'''מצד ימין: <math>(A\cap C)\cap (B\cap C)^c=(A\cap C)\cap (B^c\cup C^c)=(A\cap C\cap B^c)\cup(A\cap C\cap C^c)</math>, לפי דה-מורגן והדיסטריבוטיביות שציינת של חיתוך על איחוד.  '''מכיוון שהסוגריים הימניים נותנים קבוצה ריקה נקבל שביטוי זה הוא בדיוק הסוגריים השמאליים: <math>(A\cap C\cap B^c)</math>, ולכן הדיסטרובוטיביות הנ"ל אכן מתקיימת.