Modular inversion
a positive integer x
a positive integer modulus
y st (x*y) % modulus == 1
See Implementation
Modular inversion