Αφού

, οι

είναι διαγωνιοποιήσιμοι. Επίσης, οι ιδιοτιμές του

είναι όλες

-οστές ρίζες της μονάδας και, αφού το άθροισμά τους είναι

, πρέπει να είναι όλες

. Λόγω του διαγωνιοποιήσιμου, έχουμε

.
Έτσι, για κάθε ιδιοτιμή

του

(επίσης

-οστή ρίζα της μονάδας), η

θα είναι ιδιοτιμή του

(με την ίδια αλγεβρική πολλαπλότητα). Αλλά, αφού οι πίνακες είναι πραγματικοί, οι ιδιοτιμές είναι ζεύγη συζυγών. Οπότε τα αθροίσματά τους είναι ίσα και

.