\tan x\,{\rm cotan}\, x=1