È facile verificare che, data la griglia dimensionale d dei punti interi , con l'adiacenza regolare, si può trovare un separatore di dimensioni n d - 1 (basta selezionare un iperpiano centrale e rimuovere tutto i suoi vertici). Inoltre, non è troppo difficile (ma sicuramente non immediato) verificare che qualsiasi separatore debba avere dimensioni Ω ( n d - 1 ) . Qualcuno sa un riferimento a questo?