theorem :: SIN_COS4:1

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