theorem Th28: :: MATRIX_8:28

for n being Nat
for K being Field st n > 0 holds
0. (K,n) <> 1. (K,n)