{ p↑-(b↑+c↑)/2 } ・(b↑-c↑)=0
を2倍したのと同じなんだが。