then prove that AOB is a line.