prove that OA ⊥ OC.