How do you find cot x if sin x cot x csc x = √2?