→a・（→b-→a）=0であるとき
です。すみません。