Let $z_1, \dots, z_N \in \mathbb{C}$ each be a D1207: Complex number.

Then \begin{equation} \overline{z_1 z_2 \cdots z_N} = \overline{z}_1 \overline{z}_2 \cdots \overline{z}_N \end{equation}