Чтобы разность a - b была кратна 9, число b должно давать при делении на 9 остаток, который является обратным по модулю 9 к остатку, который получается при делении числа a на 9.

Так как при делении числа a на 9 мы получили остаток 5, то обратным по модулю 9 к остатку 5 является остаток 4.

Следовательно, чтобы разность a - b была кратна 9, число b должно давать при делении на 9 остаток 4.