What is in general meant by a generator of a free group? For example here: "Given a set S, there is a function i: S → F(S), known as the canonical inclusion, sending each element of S to the corresponding generator of F(S)." .
The polynomial has exactly four roots, if it has exactly one root in the 1st quadrant then it has exactly one root in the 4th quadrant. So 2 roots must be in quadrants 2 and 43 , but as roots come in conjugate pairs, we must have exactly one root in each...
"It suffices to show that there is exactly one root in the first quadrant because it is a polynomial with real coefficients, and zeros of polynomials come in conjugate pairs."