Prove that #(a-tanx)/(1+atanx)=tan(tan^(-1)a-x)#?