Delno uredil del, kjer preverjam izrek o diagonalizabilnih matrikah z vsaj n-1 različnimi lastnimi vrednostmi.