rachunek zbiorów Komando: Wykazać, że dla dowolnych zbiorów A B C A⊆B⇒C−B⊆C−A

Komando: pomoże ktoś?

iteRacj@: A⊆B ⇔ (x∊A ⇒ x∊B) ⇔ (x∊B' ⇒ x∊A') ⇔ B'⊆A' skorzystam z tw.: dla dowolnych zbiorów X,Y,Z,W prawdziwe jest (X⊆Y ∧ Z⊆W) ⇒ (X∩Z⊆Y∩W) B'⊆A' ⇒ (C⊆C ∧ B'⊆A') ⇒ (C∩B'⊆C∩A') ⇒ (C\B⊆C\A)