 Let "V" be a finite-dimensional vector space over a field "k" and formula_220 a linear map with minimal polynomial "q".Then, since formula_121 is a unique factorization domain, "q" factors into powers of distinct irreducible polynomials (that is, prime elements)