Abbiamo che
 g=det(x_1A_1+\ldots + x_nA_n) \in F[x_1,\ldots,x_n] 
Consideriamo ora \displaystyle g come un elemento di K[x_1,\ldots,x_n] 
Per ipotesi è g\neq 0 
Ora, se \forall f_1,\ldots,f_n \in F la matrice
 f_1A_1+\ldots + f_nA_n 
fosse singolare,avremmo che \forall f_1,\ldots,f_n \in F ...