Category:Linear Span is Linear Subspace