\sin 42^\circ \cdot sin 78^\circ = \frac12 \cdot [cos 36^\circ - sin 120^\circ]