theorem about cyclic subspaces
Let be field, a vector space over , , and a linear operator
. Let be a subspace
of . And let such that (see the cyclic subspace definition), and if , where denotes the minimal polynomial of (or in other words, its annihilator polynomial). Then, , and .