Από την υπόθεση, υπάρχουν θετικοί ακέραιοι

τέτοιοι, ώστε:

.
Με πρόσθεση των παραπάνω σχέσεων κατά μέλη έχουμε ότι:

.
Από τη σχέση

προκύπτει ότι ένας τουλάχιστον από τους

είναι ίσος με

. Δίχως βλάβη της γενικότητας, υποθέτουμε ότι

, οπότε
και η σχέση

γράφεται ισοδύναμα

.
Από τη σχέση

προκύπτει ότι ένας τουλάχιστον από τους

είναι μικρότερος του

. Δίχως βλάβη της γενικότητας, υποθέτουμε ότι αυτός είναι ο

. Έχουμε δύο περιπτώσεις:

Αν

, τότε

, η οποία σε συνδυασμό με την

δίνει ότι

, οπότε από τη σχέση

προκύπτει ότι

και άρα

. Έτσι, βρήκαμε τη λύση

, όπου

τυχαίος θετικός ακέραιος.

Αν

, τότε

, η οποία σε συνδυασμό με την

δίνει ότι

. Με αντικατάσταση στη σχέση

, βρίσκουμε (μετά από απλές πράξεις) ότι

.
Από τη σχέση

προκύπτει ότι

.
Για

, βρίσκουμε τη λύση

.
Για

, βρίσκουμε τη λύση

.
Για

, βρίσκουμε τη λύση

.
Για

, βρίσκουμε τη λύση

.
Ώστε, οι ζητούμενες λύσεις είναι όλες οι παραπάνω, καθώς και οι κυκλικές μεταθέσεις αυτών.