theorem :: MATRIX16:40

for n being Element of NAT
for K being Field st n > 0 holds
1. (K,n) is line_circulant