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