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