1. (K,n) is invertible by MATRIX_6:8;
hence ex b₁ being Matrix of n,K st b₁ is invertible ; :: thesis: verum