Section 1.3, in a breath

One helper (p | a² ⇒ p | a) plus proof by contradiction proves √2, √3, √5, … irrational — and, with the two facts, their sums and multiples too.