How do you prove #cosA/(1-tanA) = (sinA)/(1-cotA)#?