3 is congruent to 0 mod 3 4 has remainder 1 0 mod 3 5 has remainder 2 0 mod 3 6 is congruent to 0 mod 3 0 1 2 / \ __