Assertion: complex's root | /r/AtLocation | complex conjugate pairs
Facets:
Source sentences:
text: Thus, non-real roots of real polynomials occur in complex conjugate pairs (see Complex conjugate root theorem).