theorem Th32: :: HILB10_7:32

for x, y being object
for X being set st not x in X holds
swap ({X},x,y) = {(X \/ {x})}