任意のx↑に対して0↑=0*x↑
⇒OP↑・0↑=OP↑・(0*x↑)=0*(OP↑・x↑)=0