theorem.TRIG.PERIOD.TAN