Definition/ existence

todo

Relation to rational canonical form