How do you prove #(tan(x)-1)/(tan(x)+1)= (1-cot(x))/(1+cot(x))#?