take 1. (K,n) ; :: thesis: 1. (K,n) is invertible
thus 1. (K,n) is invertible ; :: thesis: verum