Sustituyendo la identidad csc "x" = cot "x" + 1, tenemos