Ραφαήλ, μας δίνεται η σχέση

για κάποιο πολυώνυμο

. Αυτό μας δίνει ότι

και

. Αυτά δίνουν τις πρώτες τρεις εξισώσεις του Θάνου. Οι άλλες τρεις λαμβάνονται με παρόμοιο τρόπο από την σχέση
Βάζω και ένα αλγεβρικό τρόπο:
Αφού

και

τότε είναι

. Θα προσπαθήσω λοιπόν να γράψω το

σαν «γραμμικό συνδυασμό» των πολυωνύμων

και

. Αυτό γίνεται με τον Ευκλείδιο αλγόριθμο. Έχουμε:
Τώρα πάμε ανάποδα. Από την (3) είναι
και άρα από την (2) παίρνουμε
Τώρα από την (1) παίρνουμε
Θέτουμε λοιπόν

και

. Ορίζω

. Εξ ορισμού

. Επιπλέον έχουμε δείξει ότι

οπότε είναι και

.
Τώρα απλώς κάνουμε τις πράξεις για να πάρουμε

ακριβώς το ίδιο πολυώνυμο που βρήκε και ο Θάνος. [Δείξτε ότι δεν υπάρχει άλλο τέτοιο πολυώνυμο βαθμού το πολύ

.]