Проверить, что для любых множеств A, B, C выполнение включения A ∪ B ⊆ C влечет выполнение включения A ∆ B ⊆ (A ⋂ B) ∪ C
