../images/Emo62.gif
תהי g הפונקציה הנותנת ל- n את הראשוני ה n-י. נסמן ב- g^k את ההרכבה של g על עצמה k פעמים. תהי A קבוצת המספרים הטבעיים שאינם ראשוניים. נחלק את A לזוגות סדורים מהצורה x,y. (למשל הזוג הראשון יהיה 1,4, הזוג השני 6,8 וכו' אבל אפשר גם כל חלוקה אחרת). כעת נגדיר את הפונקציה שלנו באופן הבא:
f(g^k(x))=g^k

f(g^k

)=g^(k+1)(x)
הפונקציה מוגדרת היטב כי כל מספר טבעי ניתן לכתיבה יחידה בצורה g^k(a) zz כאשר a אינו ראשוני. וכל a כזה הוא איזשהוא x או איזשהוא y. וקל לראות שהפונקציה מקיימת את הנדרש.