שינויים
/* 2 */
*וקטורים שלעולם לא מקיימים את התנאי <math>a_1v_1+...+a_nv_n=0</math>
==3==
תהיינה A,B,C קבוצות. נניח נתון <math>C \subseteq A\cup B</math>.
'''הוכח/הפרך''' כל אחת מן הטענות הבאות:
*<math>C\subseteq A</math> או <math>C \subseteq B</math>
*אם <math>C\cap A = \phi</math> אזי <math>C \subseteq B</math>
*<math>C\cap A = \phi</math> אם ורק אם <math>C \subseteq B</math>
*<math>C\backslash A \subseteq B</math>
*אם <math>C=A</math> אזי <math>A\subseteq B</math>
*<math>\Big((A\cup B)\backslash C\Big)\cup C = A \cup B</math>
*<math>\Big((A\backslash C)\cup (B\backslash C)\Big)\cup C = A \cup B</math>
