 De Bruijn–Erdős theorem (incidence geometry)

The De Bruijn–Erdős theorem is an important result in incidence geometry that deals with the structure of finite geometric configurations. Specifically, the theorem addresses the relationship between points and lines in a finite projective plane.