tan^-1a+tan^-1b+tan^-1c=pi,yhen prove that a+b+c=abc