A múlt században élt Helly,
Egy egyenese volt neki,
Felvett rá nem diszjunkt szakaszokat.
Sejtett egy közös pontot,
Mit véges sokra belátott,
De többre nem, és ez volt Helly búja.
4x Helly búja.
Intervallumok tengelyen,
A számuk bizony végtelen,
Így róluk semmi sem állítható.
Ha nem lennének annyian,
Max néhány milliárdnyian,
Megoldhatná, és ez volt Helly búja.
4x Helly búja.
És később Helly mit lelt?
Egy kétdimenziós tételt,
Kimondta konvex alakzatokra.
Ha volt véges sok síkidom,
Ő rámondta, hogy „Ezt tudom!”,
De többre nem, és ez volt Helly búja.
4x Helly búja.
A konvex alakzatoknak,
Közülük bármely háromnak
Feltéve, hogy van egy közös része,
Van mindegyikben egy közös pont,
Mit véges sokra a tétel mond,
De többre nem, és ez volt Helly búja.
4x Helly búja.
Kellett egy új feltétel,
A kompaktság az megfelel,
Kompakt az, ami zárt és korlátos.
A mester mostmár megpihen,
A felső határ a végtelen,
Mindenre jó, és elmúlt Helly búja.
8x Helly búja