$B$, duzlemde bir konveks cisim olsun. ve bu cisimin icinde birbirine degmeyen $n$ tane konveks cisim olsun ve bunlara $c_i$ diyelim.
Iddiam su ki; sonlu adimda butun $c_i$ leri sadece dondurerek ve tasiyarak diger cisimlere degmeme sarti ile $B$ cisminin disina cikarabiliriz.