Don't you forget it. For the lazy among us, here's a maple proof:

simplify(diff(arctan(y,x),x,x)+diff(arctan(y,x),y,y),size);

produces:

0