Prove that: tan^-1{2ab/(a^2-b^2)} + tan^-1{2xy/(x^2-y^2)} = tan^-1{2αβ/(α^2-β^2)} , where α=ax-by and β=ay+bx.