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