1. Un domeniu poliedral complet dimensionat P are o unică reprezentare minimală printr-o mulţime finită de t inegalităţi liniare. În particular, pentru fiecare facet F_j al lui P există o unică inegalitate reprezentând F_j şi

.

2. Dacă dim(P)=n-k, k>0, atunci

unde pentru j=1, 2, …, k (a^j, b_j) este o mulţime maximală de linii liniar independente din (A⁼, b⁼) şi pentru j=k+1, k+2, …, k+t (a^j, b_j) este orice inegalitate din clasa de echivalenţă a inegalităţilor reprezentând facetul F_j.

urmator