けんき
says to
YSITD
沒有一種東西叫做inner product vector space吧