Since , if we consider as a vector space over with basis , then must span a linear subspace (since can be represented as a linear combination of elements of the basis for ). And spans a linear subspace of both spaces. So, . Since can be viewed as the linear space spanned by the basis of powers of , we have .