I have a system as follows
$$6 + 4n = x,\quad 8 + 3m = x.$$
now I know I can get to the point where:
$$n = (2 + 3m)/4,$$
and I can parametrize $m$ as $z$ to get all possible values in $R$.
What I want to do instead is to lock down $n$ and $m$ to be integer numbers instead of real numbers. And I'd like to get the very first number if that exist.
In the example above $m = 1$ wouldn't work since $n$ would be $1.25$. However $m = 2$ would do the trick and would lead to $n = 2$.
I wonder, how do I set in the system this constraint?
Edit: I guess one idea there could be to round up to the next integer by doing something like
$$m = 1,\quad n = (2 + 3 * 1 + 4 - 1)/4.$$
Would that be correct?