See also: Substitution property of equality, Reflexive property of equality, Transitive property of equality
... If the discriminant is negative, then there are two different solutions x, both of which are complex numbers. The two solutions are complex conjugates of each other. (In ...