Jabarkan Formulasi dari Lemma Euklidean

Jika  menjadikan bilangan prima dan asumsi  jadi membagi hasil kali dua bilangan bulat  dan . (Dalam simbol ini tertulis . Negasinya,  tidak membagi  ditulis .) Kemudian  atau  (atau keduanya). Pernyataan Setara adalah:

Bila  dan , kemudian .

Bila  dan , kemudian .

Lemma Euklidean dapat digeneralisasikan dari bilangan prima ke bilangan bulat apa pun:

Ini adalah generalisasi karena jika  adalah bilangan prima