It has been shown respectively, for the real and imaginary parts, that their individual even portions must equal their individual odd portions. Now it is shown that their value must also be 0.

This is accomplished using a system of equations involving the constants and sums from the even portions, along with the quadratic equation, the requirements on the constants, and the requirements on the domain of a, the real portion of the original complex input.