* mod0 undefined dne * mod1 is 0 residues * mod2 is 0 or 1 * mod3 is 0 or 1 or 2 m mod n is m/n with r or 0