با اعمال روش «سعي و خطا» (Trial and Error) مقادير .png) و .png) به‌دست مي‌آيد. اجازه دهيد نشان دهيم گفتگوي مذكور، انجام و به «كاظم» عدد 52 و «رضا» عدد 17 ارائه شده است. «كاظم» مي‌گويد: «من نمي‌توانم بگويم اعداد .png) و .png) چيست‌اند»؛ از آن‌جايي كه گزاره‌اي صحيح است متوجه مي‌شويم 52 از دو زوج اعداد .png) يا .png) به‌دست مي‌آيد. «رضا» چنين جواب مي‌دهد: «قبلاً مي‌دانستم كه شما نمي‌توانيد بگوييد». از آن‌جايي كه اين گزاره هم صحيح است زوج اعداد .png) كه جمع‌شان 17 مي‌شود عبارت‌اند از:
و مي‌دانيم حداقل دو جواب ممكن است كه منجر به حاصل‌ضرب و يعني .png) شود. بعد از آن «كاظم» مي‌گويد: «در اين صورت، الآن مي‌دانم اعداد و چيست‌اند». اين گزاره صحيح است زيرا اگر برابر .png) باشند در اين صورت به «رضا» عدد 28 ارائه شده است؛ اين بدين‌معنا است كه وي گزاره‌ي سابق خود را نمي‌توانسته بازگو كند. زيرا برابر .png) بوده كه در اين حالت «كاظم» قادر خواهد بود قبل از بيان هر گزاره‌اي مقادير و را بيابد. چون «كاظم» مي‌داند حاصل‌ضرب و عدد 52 است و برابر نيست مي‌داند برابر .png) بوده و تنها گزينه‌ي ديگر محسوب مي‌شود. «رضا» حالا مي‌گويد: «اكنون من هم مي‌دانم اعداد و چيست‌اند» اين گزاره صادقانه بيان شده است زيرا تنها زوج از ميان .png) كه بهواسطهي آن «كاظم» مي‌توانسته گزاره‌ي اخير خود را مطرح كند است. اجازه دهيد نشان دهيم چرا گزينه‌هاي جواب مسأله محسوب نمي‌شوند. سپس «كاظم» عدد 30 را داشته و قادر نبوده است گزاره‌ي اخير خود را ابراز كند زيرا هر دو زوج .png) و .png) منجر به حصول مجموع‌هايي مي‌شود كه بهواسطهي وقوع آن‌ها «رضا» قادر به ابراز گزاره‌ي خود نبوده است. به‌علاوه براي زوج .png) «كاظم» قادر نخواهد بود گزاره‌ي خود را ابراز كند زيرا هر دو زوج و .png) منجر به جمع‌هايي خواهد شد كه براي آن، «رضا» قادر خواهد بود گزاره‌ي اخير خود را ابراز كند. با همان منطق درباره‌‌ي زوج‌هاي ذيل مي‌توان ابراز عقيده كرد:
بنابراين زوج مورد نظر مسأله – كه از گفتگوها به‌دست مي‌آيد – عبارت است از:
(رابطهي 2)
از اين به‌بعد در پاسخ به اين سؤال، هر بار از اصطلاح «تجزيه به عوامل متمايز» (Factorization) استفاده مي‌شود به‌معناي تجزيه به دو عامل هر دو بزرگ‌تر از 1 است.توجه كنيد كه «كاظم» تنها و تنها زماني مي‌تواند بگويد كه مقدار اعداد و چيست كه تنها يك روش براي تجزيه‌ي .png) به عوامل صحيح متمايز و هر دو بزرگ‌تر از 1 وجود داشته باشد. در اين حالت و هر دو عوامل محسوب مي‌شوند. اين امر تنها زماني محقق مي‌شود كه رابطهي ذيل را داشته باشيم:
(رابطهي 3)
كه در آن.png) و .png) «اعداد اول» (Prime Numbers) محسوب شده و در اين حالت خواهيم داشت: |  و برابر و هستند.
| | يا زماني كه رابطهي ذيل برقرار باشد:
(رابطهي 4)
كه در آن عددي اول بوده در اين حالت رابطه‌هاي ذيل برقرار است: |
(رابطهي 5)
(رابطهي 6)
براي «رضا» با توجه به گزاره‌اي كه در آن بيان مي‌كند قبلاً مي‌دانسته كه «كاظم» نمي‌توانسته بگويد اعداد و چيست‌اند. نوشتن .png) به‌عنوان مجموع دو عدد اول متمايز يا جمع يك عدد اول و مربعش غيرممكن است. از آن‌جايي كه .png) است مقادير ممكن براي مي‌توانند اعداد ذيل باشند:
توجه داشته باشيد نياز داريم اعداد اول و مربع‌هاي اعداد اول را بزرگ‌تر از 20 در نظر بگيريم. «رضا» مي‌داند .png) است.براي اين‌كه گزاره‌ي سوم صادق باشد بايد دقيقاً با يك تجزيه‌ي به عواملش برابر باشد به‌گونه‌اي كه جمع عوامل آن نمي‌تواند به‌صورت جمع اعداد اول متمايز يا جمع يك عدد اول و مربعش نوشته شود. اگر .png) باشد در اين صورت رابطهي ذيل را خواهيم داشت:
(رابطهي 7)
بنابراين «كاظم» مي‌داند كه رابطهي ذيل برقرار است:
(رابطهي 8)
بنابراين رابطهي ذيل صادق خواهد بود:
(رابطهي 9)
اين بدين‌معناست كه «كاظم» مي‌داند يا «فرد» است يا «مربع يك عدد اول».
انگاره‌ي «گلدباخ» (Goldbach's Conjecture) اشعار مي‌دارد كه هر عدد صحيح «زوج» كه بزرگ‌تر يا مساوي 4 باشد جمع دو عدد اول است كه لزوماً متمايز نباشند. اگرچه براي همه‌ي مقاديري كه بر آن متمركز مي‌شويم ثابت شده است.بنابراين تنها نياز داريم تجزيه‌ي عدد را به عوامل درنظر بگيريم به‌گونه‌اي كه جمع عوامل بر 4 بخش‌پذير نباشد.
نمي‌توانيم فرض كنيم .png) به‌خاطر اين‌كه بدين‌معناست كه برابر 3 يا 4 است.
توجه كنيد اگر .png) باشد كه در آن عددي اول و «فرد» است. پس تنها مقادير ممكن و برابر 4 و هستند.از آن‌جايي كه گزاره‌ي چهارم صحيح است يك راه براي نوشتن به‌عنوان مجموع دو عدد بزرگ‌تر از يك است كه حاصل‌ضرب آن‌ها اين شرايط را فراهم مي‌كند. گزاره‌هاي ذيل صادق است:
| اگر .png) باشد رابطهي ذيل صادق خواهد بود:
(رابطهي 10)
يا اين‌كه رابطهي ذيل برقرار است:
(رابطهي 11)
| | اگر .png) باشد رابطهي ذيل صادق خواهد بود:
(رابطهي 12)
يا اين‌كه رابطهي ذيل برقرار است:
(رابطهي 13)
| | اگر .png) باشد رابطهي ذيل صادق خواهد بود:
(رابطهي 14)
يا اين‌كه رابطهي ذيل برقرار است:
(رابطهي 15)
| | اگر .png) باشد رابطهي ذيل صادق خواهد بود:
(رابطهي 16)
يا اين‌كه رابطهي ذيل برقرار است:
(رابطهي 17)
| | اگر .png) باشد رابطهي ذيل صادق خواهد بود:
(رابطهي 18)
يا اين‌كه رابطهي ذيل برقرار است:
(رابطهي 19)
| | اگر .png) باشد رابطه‌هاي ذيل صادق خواهد بود:
(رابطهي 20)
يا اين‌كه رابطهي ذيل برقرار است:
(رابطهي 21)
نشان خواهيم داد كه هريك از مقادير ممكن از شرايطي را براي صحت گزاره‌ي سوم ايفا مي‌كند. همه‌ي اعداد 28، 76، 92 و 124 به‌شكل .png) است به‌گونه‌اي كه همه در اين رابطه صدق مي‌كنند.
| | اگر رابطهي ذيل برقرار باشد:
(رابطهي 22)
پس تنها تجزيه به عوامل به‌غير از .png) برابر .png) است و منجر به رابطهي ذيل مي‌شود:
(رابطهي 23)
| | اگر رابطهي ذيل برقرار باشد:
(رابطهي 24)
پس تنها تجزيه به عوامل به‌غير از .png) برابر .png) است و منجر به رابطهي ذيل مي‌شود:
(رابطهي 25)
| | اگر رابطهي ذيل برقرار باشد:
(رابطهي 26)
پس تنها تجزيه به عوامل به‌غير از .png) برابر زوج‌هاي ذيل است:
|  .png) و منجر به رابطهي ذيل مي‌شود:
(رابطهي 27)
| | .png) و منجر به رابطهي ذيل مي‌شود:
(رابطهي 28)
|
| | اگر رابطهي ذيل برقرار باشد:
(رابطهي 29)
در اين صورت تنها تجزيه به عوامل به‌غير از .png) را خواهيم داشت به‌گونه‌اي كه رابطهي ذيل برقرار باشد:
(رابطهي 30)
عوامل ذيل را نتيجه مي‌دهد:
| .png) كه منجر به رابطهي ذيل خواهد شد:
(رابطهي 31)
| | .png) كه رابطهي ذيل را نتيجه خواهد داد:
(رابطهي 32)
|
| | اگر رابطهي ذيل برقرار باشد:
(رابطهي 33)
پس تنها تجزيه به عوامل به‌غير از .png) خواهيم داشت به‌گونه‌اي كه رابطهي ذيل را داشته باشيم:
(رابطهي 34)
اين عوامل عبارت‌اند از:
| | | .png) كه منجر به رابطهي ذيل خواهد شد:
(رابطهي 35)
| | .png) كه رابطهي ذيل را نتيجه خواهد داد:
(رابطهي 36)
|
| | اگر رابطهي ذيل برقرار باشد:
(رابطهي 37)
پس تنها تجزيه به عوامل به‌غير از .png) خواهيم داشت به‌گونه‌اي كه رابطهي ذيل را داشته باشيم:
(رابطهي 38)
اين عوامل عبارت‌اند از:
| .png) كه منجر به رابطهي ذيل خواهد شد:
(رابطهي 38)
| | .png) كه رابطهي ذيل را نتيجه خواهد داد:
(رابطهي 39)
|
| | اگر رابطهي ذيل برقرار باشد:
(رابطهي 40)
پس تنها تجزيه به عوامل به‌غير از خواهيم داشت به‌گونه‌اي كه رابطهي ذيل را داشته باشيم:
(رابطهي 41)
اين عوامل عبارت‌اند از:
| .png) كه منجر به رابطهي ذيل خواهد شد:
(رابطهي 42)
| | .png) كه رابطهي ذيل را نتيجه خواهد داد:
(رابطهي 43)
|
| | اگر رابطهي ذيل برقرار باشد:
(رابطهي 44)
پس تنها تجزيه به عوامل به‌غير از .png) و .png) را خواهيم داشت به‌گونه‌اي كه رابطهي ذيل برقرار باشد:
(رابطهي 45)
يا تجزيه به عوامل به‌غير از .png) خواهيم داشت به‌گونه‌اي كه رابطهي ذيل را داشته باشيم:
(رابطهي 46)
|
بنابراين مقادير 11، 23، 27، 29، 35 و 37 براي گزاره‌ي چهارم را به‌گونه‌اي كه رابطهي ذيل را داشته باشيم:
(رابطهي 47)
تأمين نخواهند كرد. لذا زوج‌هاي ممكن .png) شامل مواردي نظير ذيل هستند:
|
(رابطهي 48)
| اما مي‌تواند به عوامل .png) تجزيه شود و رابطهي ذيل هم صادق باشد: |
(رابطهي 49)
(رابطهي 50)
| اما مي‌تواند به عوامل .png) تجزيه شود و رابطهي ذيل هم صادق باشد: |
(رابطهي 51)
(رابطهي 52)
| اما مي‌توان به‌شكل نوشت به‌گونه‌اي گزاره‌ي سوم صادق باشد. |
(رابطهي 52)
| |
|
|
| اما مي‌تواند به عوامل .png) تجزيه شود و رابطهي ذيل هم صادق باشد: |
| |
(رابطهي 54)
(رابطهي 55)
| اما مي‌تواند به عوامل .png) تجزيه شود و رابطهي ذيل هم صادق باشد: |
| |
(رابطهي 56)
(رابطهي 57)
| اما مي‌تواند به عوامل .png) تجزيه شود و رابطهي ذيل هم صادق باشد: |
| |
(رابطهي 58)
(رابطهي 59)
| اما مي‌تواند به عوامل .png) تجزيه شود و رابطهي ذيل هم صادق باشد: |
| |
(رابطهي 60)
|
بنابراين تنها مقدار كه با گزاره‌ي سوم تطبيق داشته باشد 52 است به‌گونه‌اي كه رابطه‌هاي ذيل برقرار باشد:
(رابطهي 61)
به‌گونه‌اي گزاره‌ي چهارم در مورد آن صدق كند. بنابراين تنها مقدار ممكن برابر است. |