# Talk:Gauss's Lemma on Irreducible Polynomials

## Slightly stronger statement

I changed:

- for h primitive, h is irred. in Z[X] iff irred. in Q[X]

to the slightly stronger:

- for all h, h is irred. in Z[X] iff irred. in Q[X] and primitive

The only new information is Irreducible Integer Polynomial is Primitive. This should be more convenient (and the theorem may very well be known in this form). --barto (talk) (contribs) 14:13, 14 January 2018 (EST)

- Well all very well to "make it stronger", but is this now Gauss's Lemma or Barto's Lemma? --prime mover (talk) 17:01, 14 January 2018 (EST)

- Fair enough -- but we are going to need hardcopy citations, in order to corroborate our work. --prime mover (talk) 03:17, 15 January 2018 (EST)