parmenides51 έγραψε:4. Αν οι αριθμοί

και

είναι διαφορετικοί και καθένας παίρνει μια από τις τιμές

και

, είναι δυνατόν να έχουμε τη σχέση

;
Υπολογίζουμε όλα τα αθροίσματα δυο διαφορετικών αριθμών από το

έως και το

και τα αναλύουμε σε γινόμενο πρώτων παραγόντων:

.
Ας υποθέσουμε πως υπάρχουν αριθμοί με τις προϋποθέσεις της εκφώνησης τέτοιοι ώστε

.
Αφού στην παραπάνω σχέση περιέχονται όλα τα γινόμενα από τα παραπάνω δέκα αθροίσματα,θα έχουμε πως

όπου

ακέραιοι (ως άθροισμα ακεραίων) που δεν διαιρούνται με το

και

φυσικοί τέτοιοι ώστε

.
Επειδή τα δυο μέλη της

είναι ο ίδιος αριθμός, και κάθε αριθμός έχει μοναδική ανάλυση σε γινόμενο πρώτων παραγόντων, θα πρέπει

, οπότε

που δεν είναι φυσικός αριθμός, άτοπο.
Άρα δεν υπάρχουν αριθμοί με τις προϋποθέσεις της εκφώνησης.