שינויים
/* איזה תכונות דיסטריביטיות אנו מכירים בקבוצות */
'''מצד ימין: <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 C^c)</math> היא קבוצה ריקה , נקבל שביטוי זה הוא בדיוק הסוגריים השמאליים: <math>(A\cap C\cap B^c)</math>, ולכן הדיסטרובוטיביות הנ"ל אכן מתקיימת.
'''עדי
