Assertion: octahedron's triangle | /r/AtLocation | the graph
Facets:
Source sentences:
text: It has to do with the triangles that exist in the graph, so I thought a bit about using some kind of structural induction that starts with one triangle and then adds more until the structure is complete, but I think that is also quite involved.