שינויים
/* 7 */
==7==
===א===
הוכח כי לכל שלוש קבוצות A,B,C מתקיים
::<math>A\cap(B\cup C) = (A\cap B)\cup (A\cap C)</math>
===ב===
הוכח כי לכל ארבע קבוצות A,B,C,D מתקיים
::<math>(A\backslash B)\cap (C\backslash D)\subseteq (A\cap C)\backslash (B\cap D)</math>