I am going through this book, and on page 38, there is
LEMMA 3.15
Let K be a subfield of C, f an irreducible polynomial over K, and g, h polynomials over K. If g divides gh, then either f divides h or f divides h.
OK, so I have proven that f must divide over g or h - i.e., if f doesn't divide...