AAHL 1.15.8 Proof by contradiction (infinite primes) | RevisionDojo