Isso é Genial

 

Dedução da derivada de cosec(x) (que é -cotg(x)*cosec(x)) a partir da definição (por limite) de uma derivada.