How do you prove #(1-cos(x)) / sin(x) = csc(x) - cot(x) #?