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