Изменения

Пусть <tex>A = A_1 \cup A_2</tex>, <tex>B = B_1 \cup B_2</tex>. Тогда <tex>|A_1| < |B_1|</tex> или <tex>|A_2| < |B_2|</tex>. В первом случае по третьей аксиоме для <tex> I_1</tex>, <tex>\mathcal {9} x \in B_1 \setminus A_1, A_1 \cup \mathcal{f} x \mathcal {g} \in I_1 </tex>. Значит <tex> A_1 \cup \mathcal{f} x \mathcal {g} \cup A_2 \in I</tex>. Второй случай аналогичен первому.

}}