Nhận xét: Mỗi số dạng n=4x+3 sẽ có ít nhất một ước nguyên tố có dạng đó.
Thật vậy, rõ ràng n có ước cùng dạng với nó vì bản thân nn là ước của n. Gọi pp là ước nhỏ nhất trong các ước như thế. Nếu p là số nguyên tố thì nhận xét được chứng minh. Nếu p là hợp số thì p phân tích được thành tích các thừa số nguyên tố lẻ (do p lẻ). Các thừa số này không thể có cùng dạng 4m+1 (vì khi đó theo câu a, p sẽ có dạng 4m+14m+1). Vậy ít nhất một thừa số nguyên tố có dạng 4x+3
Giả sử chỉ có hữu hạn các số nguyên tố có dạng 4k+34k+3 là p1,p2,...,pn
Xét số N=4p1p2...pn−1 thì N có dạng 4x+3. Theo nhận xét trên thì N có ít nhất một ước nguyên tố dạng 4x+3. Nhưng từ cách xác định N thì N không thể chia hết cho bất cứ số nguyên tố nào có dạng 4x+3. Điều mâu thuẫn này chứng tỏ giả sử trên là sai. Vậy có vô số các số nguyên tố có dạng 4x+3