$6k+5$ tipinde ya da $4k+3$ tipinde sonsuz sayıda asal olduğunu biliyoruz. İspatları da Öklit'in asalların sonsuzluğunun ispatı kadar kolay ve anlaşılır. Esasında, Öklit'in ispatının taklitleri. Sonlu sayıda asalı çarpıp, uygun bi şeylerle toplayıp falan elimizdeki asalların hiçbirisinin bölmeyeceği ama ille de istediğimiz tipte bir asal tarafından da bölünmesi gereken bir sayı üretiyoruz.
Soru şu: Bunu taklit nereye varır? Bu taklidin sınırı nedir. Yeterince denersek bize verilen her düzgün ikili için (düzgün ikiliden kastım aralarında asal olmaları) yukardakine benzer bir ispat yapabilir miyiz?