This is brought up at the top of the comments section, along with Gowers' response and a neat comment from someone called Fabian: >It seems it is the thoughtle

This is brought up at the top of the comments section, along with Gowers' response and a neat comment from someone called Fabian: >It seems it is the thoughtless combination of the definitions of “prime” and “irreducible” that makes the theorem appear obvious.