How do you verify sin x + cos x times cot x = csc x?