a b mod 7 = 0