theorem Th119: :: ZFMISC_1:120

for x, y being object
for X being set st not x in X & not y in X holds
X = X \ {x,y}