>>267
内積なしで定義出来るなんて誰も言ってないだろ。
>>268参照。