prove that: 2tan-1(1/2)+tan-1(1/7)=tan-1(31/17)