c8119d89b6
* separate all tests from plugins * simplify implicit inclusion of plugins under test * have test_initpkg perform direct checks instead of yielding tests * fix example tests for 3k --HG-- branch : trunk
9 lines
434 B
Plaintext
9 lines
434 B
Plaintext
Euklids proof about the infinitude of primes
|
|
============================================
|
|
|
|
If there were only a finite amount of primes then there would be a largest
|
|
prime :latexformula:`p`. However, the number :latexformula:`p! + 1` is not
|
|
divisible by any number :latexformula:`1, ..., p`. Therefore, a prime dividing
|
|
:latexformula:`p! + 1` has to be bigger than :latexformula:`p`. Therefore there
|
|
is an infinite number of primes.
|