שינויים
/* תרגילים יותר מעניינים */
<math>\{x \; | \; x\in \; \text{in odd number of sets from}\; A_1,A_2\dots A_n \; \land \; x\not\in A_{n+1} \} \cup \{x \; | \; x \in A_{n+1} \; \land \; x\not\in \text{in odd number of sets from}\; A_1,A_2\dots A_n \} = </math>
<math>\{x \; | x\not\in A_{n+1} \; \land \; x\in \; \text{in odd number of sets from}\; A_1,A_2\dots A_n \} \cup \{x \; | \; x \in A_{n+1} \; \land \; x \in \text{in even number of sets from}\; A_1,A_2\dots A_n \}=</math> <math>\{x \; | \; x\in \; \text{in odd number of sets from}\; A_1,A_2\dots A_n, A_{n+1} \}</math>
לכן, הטענה נכונה גם עבור <math>n+1</math> וסיימנו
