>>771
↑S(k) (1≦k≦n) がどんなベクトルでも、b(k)=0 (1≦k≦n) は

> (k=1→n)Σ(b(k)・↑S(k))=0(b(k)は実数関数)が成り立つなら
> (k=1→n)Σb(k)^2≠0である

の反例になっているんでは？