a(ji)^2 ≦ Σ[k]a(ki)a(ki) = 0
これは何故言えるんですか?