How do you prove Csc(x) - Cos(x)Cot(x) = Sin(x)?