theorem Th33: :: EXCHSORT:33

for f being Function
for x, y, z being object st z <> x & z <> y holds
(Swap (f,x,y)) . z = f . z