i think you meant divide by 3 mod 7:

9 / 3 mod 7 = 3