Allen Chou
says to
YSITD
inner product 的性質驗證一下