In-class work: Linear dependence and bases