Bizonyítsuk be, hogy végtelen sok olyan $n$ van, amelyhez léteznek olyan $S_1\mathrm{,}\text{...}\mathrm{,}{S}_n$ egyszerű gráfok, melyekre a következők teljesülnek:
$\left(a\right)$ mindegyik $S_i$ teljes páros gráf;
$\left(b\right)$ az $S_1\mathrm{,}\text{...}\mathrm{,}{S}_n$ gráfok uniója egy $2n$ csúcsú teljes gráf;
$\left(c\right)$ ennek a $2n$ csúcsú teljes gráfnak minden egyes éle páratlan sok $S_i$-ben szerepel.