theorem.TRIG.SHAPE.2