 Gauss's lemma (polynomials)

Gauss's lemma in the context of polynomials states that if \( f(x) \) is a polynomial with integer coefficients, and if it can be factored into the product of two non-constant polynomials over the integers, then it can also be factored into polynomials of degree less than or equal to \( \deg(f) \) over the integers.