The story
It was proved by Hilda Pollaczek-Geiringer in 1927, and by Gerard Laman in 1970.
Etymology from Wiktionary, CC BY-SA 4.0.
Geiringer-Laman theorem
Today it means: A theorem giving a combinatorial characterization of generically rigid graphs in two-dimensional Euclidean space, with respect to bar-joint frameworks. Full definition →