n mod (a*b) == 0