Чтобы разность а - b была кратна 9, число b должно быть таким, что при делении на 9 имеет остаток 0. То есть, b должно быть таким, что b ≡ 0 (mod 9).