for n being Nat
for K being Field
for L being Element of K holds Det (Jordan_block (L,n)) = (power K) . (L,n)