30分。
線形代数学。
2006/03/12に書いたことについてだが、(i,jは添字。)xiをjを含まないiの関数、yjをiを含まないjの関数、aijをi,jの関数として、
Σ[1≦i≦n,1≦j≦m](aij*xi*yj)=Σ[1≦i≦n](xi*Σ[1≦j≦m](aij*yj))=Σ[1≦j≦m](yj*Σ[1≦i≦n](aij*xi))
が成り立つことが分配法則とΣの線形性からわかる、ということでお茶を濁す。