← Span, Linear Independence, and Dimension