L17_A
        Prove by Contradiction
        Brief Review on Logic

L17_B
        Thm: These are infinitely many primes
        Thm: Pigeohole Principle
        Thm: Generalized Pigeohole Principle