a - (b * a mod p) mod p