theorem :: MATRIX_9:8

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