Assertion: heptagon's side | /r/HasProperty | extended to their intersection
Facets:
Source sentences:
text: If, for each side of a cyclic hexagon, the adjacent sides are extended to their intersection, forming a triangle exterior to the given side, then the segments connecting the circumcenters of opposite triangles are concurrent.