>>324
内積を (v_i, v_j) = δ_{i,j} と定義して使う