Demostración de la función cosecante