\hat{AOC}+ \hat{AOB} = \hat{BOC}