How do you prove sin x + cot x cos x = csc x?