theorem lemspan: :: VECTSP13:27

for R being non degenerated commutative Ring
for n being Nat holds Lin (Base (R,n)) = R ^* n