Prove the result : 2tan^-1(3/4) – tan^-1(17/31) = π/4