Fourier–Motzkin elimination
 
x
OK