for K being Field
for L being Element of K holds {} is FinSequence_of_Jordan_block of L,K