theorem :: FINSEQ_3:79

for x, y being object
for A being set st <*x,y*> - A = <*y*> & x <> y holds
( x in A & not y in A )