A=<f1,f2,...,fk> olsun. İddia: A=<fN1,fN2,...,fNk> her N için. x∈<fN1,fN2,...,fNk> olsun. Bu durumda x=r1fN1+...+rkfNk olacak şekilde r1,..,rk∈A vardır. x=(r1fN−11)f1+(r2fN−12)f2+...+(rkfN−1k)fk olup x∈A olur.
Yani; <fN1,...,fNk>⊆A. Diğer tarafta doğru ama henüz göremedim!