Hilbert basis (linear programming)
 
x
OK