Důkaz rovnosti množin

Poslal bych sem svůj postup, jak na tom zatím jsem, ale nechtělo se mi to sem načíst. Posílal jsem to asi třikrát... Někde je nejspíš problém na mé straně. (Velikost fotky byl 2MB, takže v tom by problém být neměl.)

Levá: \(x \in X \land \neg (x \in Y \lor x \in Z)\)

Pravá: \((x \in X \land \neg x \in Y) \land (x \in X \land \neg x \in Z) = x \in X \land (\neg x \in Y \land \neg x \in Z) = x \in X \land \neg (x \in Y \lor x \in Z)\)