Неважко переконатися, що з огляду на розмірну сітку цілих точок , при регулярній суміжності, можна знайти роздільник розміру n d - 1 (просто вибрати будь-яку середню гіперплощину та видалити всі її вершини). Також не надто важко (але, безумовно, не відразу) перевірити, що будь-який роздільник повинен бути розміром Ω ( n d - 1 ) . Хтось знає реферат до цього?