☰ Contents1.3 · Revisiting irrational numbers61/101

Theorem 1.2 · the helper

If p is a prime and p divides a2, then p divides a (where a is a positive integer). If a prime turns up inside a square, it was already a factor of the thing being squared.