prove that

sin(pi/2 - x)cot(pi/2 + x) = -sinx

sin(pi/2 - x) = cosx

cot(π/2 + x) = -tanx