theorem Th59: :: ZF_LANG1:59

for x, y being Variable holds Free (x 'in' y) = {x,y}