p%i = p - (p/i) * i (by definition of modulo. Note that all division are integer division)

p%i * inv[i] = p - (p/i) * i * inv[i] = p - (p/i)

inv[i] = inv[p%i] * p - (p/i)