How do you prove #csc x - sin x = cos x cot x#?