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

Complete the proof of the theorem on determination on basis

to the compatibility with the scalar multiplication.