How do you verify (cotxtanx)/sinx= cscx?