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

Then \begin{equation} \overline{\prod_{n = 1}^N z_n} = \prod_{n = 1}^N \overline{z_n} \end{equation}