for a, b, x, y being object st a <> b & x = the Element of {a,b} & y = the Element of {a,b} \ { the Element of {a,b}} & not ( x = a & y = b ) holds
( x = b & y = a )