In the following circumstance, is there a way to compute b with certainty, (or assign b a value that would yield the same product modulo k as the actual b would have when multiplied by any other value smaller than k)?
a * b = c mod k
a, b < k
a, c and k are known
(c is a number that already has the modulus applied; in other words a*b could have yielded
a product either greater or smaller than k, and by how much we don't know.)