Using conjugates above works because of the property that . You probably first encountered this when factoring polynomials.