Θεωρώ ότι κάθε γραμμικός τελεστής του

παριστάνεται από τον πίνακα ως πρός κάποια βάση

.Έπειδή

υπάρχει μια βάση

.Μπορώ να επεκτείνω την βάση αυτή σε μια βάση του

μιας και είναι γνήσιως υπόχωρός του ο

.Άρα

.Με παρόμοιο τρόπο επεκτέινουμε την βάση του τελευταίοιυ σε μια βάση ολοκλήρου του

:

.
Τότε επειδή οι

είναι

αναλλοίωτοι προκύπτει ότι η έκφραση των

θα έχουν μηδενικούς συντελεστές από την 4-η θέση και κάτω.Όμοια για τα διανύσματα

, μόνο που οι θέσεις από την 7-η και κάτω είοναι μηδέν.Τα υπόλοιπα στοιχέια της βάσης μπορούν στην αναλυσή τους στα βασικά διανύσματα να έχουν ο,τιδήποτε.Συνεπώς θεωρώντας τον γραμμικό ισομορφισμό:

.Tότε

.