2. Lemma 2.

Jika n>1, maka ada bilangan prima p sedemikian hingga p|n

- Diketahui n>1 n Z
- Buktikan : bilangan prima p p|n
- Bukti : andaikan tidak ada bilangan prima p yang membagi n dengan n>1

Misalkan S adalah himpunan semua bilangan bulat lebih dari 1 yang tidak memiliki
pembagi prima, sehinga S .

Berdasarkan sifat keturutan terbaik :

S m S, m t, t S

m>1 dan tidak memiliki pembagi prima m S m komposit m>1

berdasarkan teorema 2.2 maka a,b faktor dari m 1<a<m, 1<b<m

1<a<m a S p p|a

p|a a|m p|m (transitif) kontradiksi dengan pengandaian.

Sehingga lemma 2.3 terbukti.

3. Teorema Euclide

Terdapat hingga banyak bilangan prima.

- Diketahui : P1, P2, P3,

- Buktikan : terdapat tak hingga bilangan prima
- Bukti : andaikan tersapat terhingga bilangan prima (P1, P2, P3,.,Pn) dengan P1 = 2,
P2 = 3 dan seterusnya.
N N = (P1P2P3Pn)+1
Jika P 2 maka N>2
Berdasarkan teorema 2.3 maka P P|N
Ambil P diantara P1 sampai Pn, misalkan Pi
N = Pi(P1P2Pi-1Pi+1Pn)+1
Pi N, artinya P { P1, P2, P3,.,Pn} P|N. Hal ini kontradiksi dengan
pengandaian sehingga terbukti bahwa terdapat tak hingga bilangan prima.