. Να δειχθεί ότι υπάρχει σταθερά
ώστε να ισχύει το εξής: Για κάθε κυρτό πολύτοπο
το οποίο είναι συμμετρικό ως προς την αρχή των αξόνων, και κάθε
, υπάρχει κυρτό πολύτοπο
με το πολύ
κορυφές ώστε
.Για
ένα σύνολο
με μη κενό εσωτερικό ονομάζεται κυρτό πολύτοπο αν το
είναι η κυρτή θήκη ενός συνόλου
με το πολύ
στοιχεία. Δηλαδή
Για
ορίζουμε
. Ένα σύνολο
είναι συμμετρικό ως προς την αρχή των αξόνων αν
.