Assertion: hexagon | /r/HasProperty | optimal
Facets:
Source sentences:
text: Graham's proof that his hexagon is optimal, and the computer proof of the n = 8 case, both involved a case analysis of all possible n-vertex thrackles with straight edges.