Definition/ existence

Relation to rational canonical form