Legyenek $n$, $s$, $t$ pozitív egész számok és $0<\lambda <1$. Adott egy $n$ csúccsal és legalább $\lambda n^2$ éllel rendelkező egyszerű gráf. Azt mondjuk, hogy az $\left(x_1\mathrm{,}\text{...}\mathrm{,}{x}_s\mathrm{,}{y}_1\mathrm{,}\text{...}{y}_t\right)$ egy jó beillesztés, ha az $x_i$ és $y_j$ betűk nem feltétlenül különböző csúcsokat jelölnek, és mindegyik $x_i{y}_j$ éle a gráfnak ($1\le i\le s$, $1\le j\le t$). Bizonyítsuk be, hogy a jó beillesztések száma legalább ${\lambda }^{st}{n}^{s+t}$.