and are arbitrary integers. It doesn't make sense to let and . Plus it confuses readers like me....

You can use different integers, e.g. and , in which , clearly, divides this.

An alternate solution is to use mods, which works just as well (and it doesn't need random variables!).