Prove the identity:
cos(x-y)/cos x sin y = cot y + tan x
cos(x-y)/cos x sin y = cot y + tan x