証明したいのは次の式なのです。
∃u[(u=x∨u=y)∧t∈u]⇔∃t(t∈x∨t∈y)
でもどうやって導くかがわかりません。