Áp dụng bổ đề trên, giả sử có hữu hạn số nguyên tố dạng [tex]6a+1[/tex] là [tex]A=\left \{p_1, p_2, p_3, ..., p_r \right \}[/tex].
Xét [tex]n=6p_1.p_2.p_3...p_r.[/tex].
Có [tex]n^2-n+1[/tex] luôn có ước nguyên tố dạng [tex]6a+1[/tex], giả sử là [tex]p_n[/tex]
Mà [tex]n[/tex] chia [tex]p_1,p_2, p_3, ..., p_r[/tex] luôn dư 1 nên [tex]p_n[/tex] không thuộc A nên điều giả sử là sai.
Vậy có vô số số nguyên tố dạng [tex]6a+1[/tex].