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 g(f_1,f_2,\ldot...