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