Bizonyítsuk be, hogy tetszőleges, $n$ pontú $G$ egyszerű gráfhoz léteznek olyan $S_1$, $\text{...}$, $S_k$ egyszerű gráfok, amelyekre a következők teljesülnek:
$\left(a\right)$ Mindegyik $S_i$ teljes páros gráf;
$\left(b\right)$ $G$ minden éle páratlan sok $S_i$-ben szerepel;
$\left(c\right)$ $G$ komplementerének minden éle páros sok $S_i$-ben szerepel;
$\left(d\right)$ $k\le \frac{3}{4}n$.