Тригонометрия Примеры

Проверить тождество cot(x-y)=(1+cot(y)cot(x))/(cot(y)-cot(x))
Не удается решить эту задачу.