theorem Th78: :: FINSEQ_3:80

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