>>851
内積の定義による。