theorem.TRIG.TID
Information: theorem.TRIG.TID