Re:>>361 正規直交化というからにはVに内積が定められているはずだ。