Bizonyítsuk be, hogy tetszőleges $0<r<k<t$ egészekhez létezik egy $N\left(r\mathrm{,}k\mathrm{,}t\right)$ pozitív egész a következő tulajdonsággal: ha a $G$  $r$-uniform hipergráfnak legalább $N\left(r\mathrm{,}k\mathrm{,}t\right)$ pontja van, és bármely $k$ pontja között van legalább egy él, akkor $G$ tartalmaz teljes $t$-pontú részhipergráfot. (A hipergráf olyan gráf, amelyben az élek nem csak kettő, hanem tetszőleges számú pontot kötnek össze. A hipergráf akkor $r$-uniform, ha minden éléhez pontosan $r$ pont tartozik. Egy $r$-uniform hipergráf teljes, ha bármely $r$ pontját él köti össze.)