けんき
says to
YSITD
we def <(a,b),(c,d)>=a* c+b* d