へー、単位ベクトルからなる基底は正規直行基底なんだ、初めて知ったよ。