Description: The complex conjugate of a complex number is unique. (Contributed by Mario Carneiro, 6-Nov-2013)