The Sylvester–Gallai theorem states that any finite, non-collinear set of points in a Euclidean plane contains a line passing through exactly two of those points. Michigan State University mathematician Leroy Milton Kelly developed a notable proof for this principle using a point-line distance minimization approach. By identifying the closest point-line pair in the set, his method elegantly demonstrates this fundamental geometric property.