Proving, using the limit definition of derivatives, that the derivative of csc(x) is -cotan(x)*csc(x).