>>56
任意の1≦i≦nについて各f(Xi)はWの元だから
f(Xi)=Σ[j=1,m]a[i,j]Yj
と表せる
するとf=Σa[i,j]M[i,j]
∵g=Σa[i,j]M[i,j]とすると任意の1≦k≦nについてg(Xk)=中略=Σ[j=1,m]a[k,j]Yj
>>45よりf=g