theorem :: VECTSP_8:9

for F being Field
for VS being strict VectSp of F holds lattice VS is complete