6.8.18 Теория множеств

условие: Доказать: \( \{x, y\}=\{u, v\} \Rightarrow \) \[ \Rightarrow((x=u \wedge y=v) \vee(x=v \wedge y=u)) \]