primitive_mul_inv