Prove the result : tan^-1(1/7) + 2tan^-1(1/3)=π/4