Как доказать, что а\(вuс) = (а\в)п(а\с) ?

∀ x ∈ A\(B∪C) ⇔ x ∈ A, x ∉ (B∪C) ⇔ x ∈ A, x ∉ B, x ∉ C ⇔ x ∈ (A\B), x ∈ (A\C) ⇔ x ∈ (A\B)∩(A\C)

Доказано.