1.15.8 Proof by contradiction (infinite primes)