How do you prove #Cotx = -tan(x - pi/2)#?