Back to the irrationals

In Class 9 you met irrational numbers and took it on trust that they are irrational. Now we pay that debt — and we pay it with primes, using the theorem you just learned.