First, a small helper

Before we can prove √2 is irrational, we need one small fact about primes and squares. It falls straight out of the Fundamental Theorem of Arithmetic.