Add the inequalities $-x_j\le0$ to the rows of $Ax\le b$ and apply the unrestricted-variable alternative proved by induction with Fourier–Motzkin elimination. Split its nonnegative multipliers into original-row and nonnegativity-row components. The zero column equations give $A^T y\ge0$; the negative weighted bound is exactly $b^T y<0$.