b=y.
Доказательство
Из (a; b)=(x; y) следует {{a};{a; b}}={{x};{x; y}}.
Равенство
двух двухэлементных множеств возможно лишь при равенстве составляющих их элементов. Здесь возможны два случая:1) {a}={x}, {a; b}={x; y} или
2) {a}={x, y}, {a; b}={x}.
В первом случае из равенства {a}={x} следует а=х, а из второго равенства
и того, что а=х, следует у=в, что и требовалось доказать.
Во втором случае из равенства {a}={x, y} следует а=х=у, а из равенства {a; b}={x} следует х=а=в. В частности, а=х и в=у. Теорема доказана.