Proving two Spans of Vectors are Equal Linear Algebra Proof