In proving this for a Linear Algebra course, I'm guessing we are allowed to assume that the vector spaces are finite-dimensional, so a double summation, summing up to n, does not pose a problem, when swapping the order (swapping the summands is trivial, as multiplication is commutative.)
Or, do I need to justify the step of switching the order of summation?
Thanks,