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