Prove the trigonometry identity cot(x y) = (cot x cot y - 1)