>>43の追加
補題として
「X1…XnをVの基底とすると、f,g∈Hom(V,W)について
『任意のXiについてf(Xi)=g(Xi)』ならば f=g」
を証明しておいた方が分かりやすいかも