inv0(x) := x^(q - 2).