I have encountered this theorem in Serge Lang's linear algebra:
Theorem 3.1. Let F: V --> W be a linear map whose kernel is {O}, then If v1 , ... ,vn are linearly independent elements of V, then F(v1), ... ,F(vn) are linearly independent elements of W.
In the proof he starts with C1F(v1) +...