Thật dễ dàng để xác minh rằng được cung cấp lưới chiều d của các điểm nguyên , với tính phụ thuộc thông thường, người ta có thể tìm thấy một dấu phân cách có kích thước (chỉ cần chọn bất kỳ siêu phẳng giữa, và loại bỏ tất cả các đỉnh của nó). Nó cũng không quá khó (nhưng chắc chắn không phải ngay lập tức) để xác minh rằng bất kỳ dải phân cách nào phải có kích thước . Bất cứ ai cũng biết một sự bồi dưỡng cho điều này?