Tegyük fel, hogy a $2n$ pontú $G$ teljes gráf $S_1\mathrm{,}\text{...}\mathrm{,}{S}_k$ részgráfjaira teljesülnek a következők:
$\left(a\right)$ Mindegyik $S_i$ teljes páros gráf;
$\left(b\right)$ $G$ minden egyes éle páratlan sok $S_i$-ben szerepel.
Mutassuk meg, hogy $k\ge n$.