[Linear Algebra] Linear Independence and Bases