ModularInverse[a, m]