If a line segment joining two points subtends equal angles at two other points lying on the same side of the line containing the line segment, then the four points are concyclic