How do you verify #(csc(t) + cot(t)(csc(t) - cot(t)) = 1#?