Complex conjugate theorem