Να αναφέρουμε πως το αποτέλεσμα γενικεύεται εύκολα για έναν οποιονδήποτε διαγωνοποιήσιμο πίνακα.(Διαγωνοποιώντας τον

στην σχέση

απεικονίζουμε τον

σε έναν χώρο

μέσω ενός αυτομορφισμού έτσι

).
Xωρίς βλάβη γενικότητας στα όσα ακολουθούν θα υποθέσω ότι οι πίνακες έχουν συντελεστές μέσα στο

.Επιστρέφοντας στο αρχικό πρόβλημα, έχουμε ότι

αν και μόνο αν ο

αφήνει αναλλοίωτους τους ιδιοχώρους του

. Όντως, αν το

είναι ένα τυχαίο ιδιοδιάνυσμα του

που αντιστοιχεί στην ιδιοτιμή

:

Aντιστρόφως, εφόσον ο

είναι διαγώνιος υπάρχει μια βάση

του

που αποτελείται από ιδιοδιανύσματά του. Aν οι αντίστοιχες ιδιοτιμές τους είναι

και καθένα από αυτά απεικονίζεται από τον

σε ιδιοδιάνυσμα του

με την ίδια ιδιοτιμή, τότε για τυχαίο

, με

έχουμε:

.
Από τα παραπάνω, μπορούμε να κατασκευάσουμε τους πίνακες του χώρου

συμπληρώνοντας τα στοιχεία των οποίων οι θέσεις αντιστοιχούν στους ιδιοχώρους του

(τα υπόλοιπα είναι μηδενικά). Έτσι, έχουμε την διάσταση του

που είναι ίση με το πλήθος των "ελεύθερων" στοιχείων, που είναι

(ένα σχήμα εδώ θα βοηθούσε αλλά δεν κατάφερα να το κάνω).