Prvočísla
Definice. Nechť . je prvočíslo, je-li dělitelné pouze a sebou samým.
Věta. ).
Důkaz.
Věta (základní věta aritmetiky). Nechť . Pak existuje právě jeden (až na pořadí) rozklad na součin prvočísel.
Důkaz. Existence:
Jednoznačnost: Vezměme nejmenší , pro které věta neplatí, tedy . . Potom však věta neplatí také pro , což je spor s minimalitou .
Věta. Nechť . Pak počet dělitelů () je .
Důkaz. . Tedy počet možností, jak zvolit každé , je .
Věta. Nechť . Pak .
Věta. Prvočísel existuje nekonečně mnoho.
Důkaz (Euklidův; první důkaz sporem v historii matematiky). Předpokládejme, že existuje konečně mnoho prvočísel . Nechť . nemůže být dělitelné žádným prvočíslem, tudíž jde o prvočíslo, což je spor.
Věta. Pro každé existuje po sobě jdoucích složených čísel.
Důkaz. Vezměme čísla od do ; každé musí být složené.