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