けんき says to YSITD
因為這篇用到orthonormal basis的性質