theorem Th76: :: FINSEQ_3:78

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