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