全単射がエルミート空間の同型となるため線型空間上のエルミート内積をが正規直交基底となるように