a↑,b↑が垂直⇔a↑・b↑=0且つa↑,b↑がともに0↑でない

これを理解しているなら且つ以下に注意しただけ