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