Linear mapping/Determination on basis/Scaling/Proof/Exercise

Complete the proof of the theorem on determination on basis, by proving the compatibility with the scalar multiplication.