How do complex roots of polynomial equations with real coefficients always appear (AHL 1.14)?