Może wydać się trywialnym stwierdzenie, że wśród tak dużej liczby gwiazd na niebie zawsze znajdzie się kilka, które tworzą jakąś foremną figurę geometryczną: linię prostą, trójkąt równoramienny lub równoległobok. A jednak teza ta jest szczególnym przypadkiem ogólniejszego twierdzenia, które 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