zostało udowodnione w roku 1928 przez angielskiego matematyka, <br>filozofa i ekonomistę Franka Plumptona Ramseya (1904-30). Twierdzenie to stanowi, że każda struktura musi zawierać uporządkowaną podstrukturę.<br>Gwiazdozbiory? Ależ to konieczność!<br>Rozważmy pięć punktów położonych na płaszczyźnie w ten sposób, że żadne trzy punkty nie wyznaczają linii prostej. Otóż cztery z nich będą wówczas zawsze wierzchołkami czworokąta wypukłego (wielokąt nazywamy wypukłym, jeżeli każdy odcinek, którego końcami są wierzchołki wielokąta, zawiera się w nim całkowicie). Ten piękny problem geometryczny postawiła i rozwiązała w roku 1933 Węgierka Esther Klein (ryc. 6.6). Przedstawiła go swym kolegom, Paulowi Erdösowi i George'owi Szekeresowi, którzy szybko uogólnili jej