theorem :: SIN_COS4:3

for th being Real holds cot (- th) = - (cot th)