theorem Th10: :: MATRIXJ2:10

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