Erdős's conjecture on the first unresolved triangle count
Erdős's conjecture. Any set of seven points in the plane determines at least four distinct triangles; consequently,
MathDB