For u ∉ Q̄ and coprime p, q ∈ Q̄[X]: a five-dimensional Q̄ + Q̄u + Q̄u⁻¹ + Σ Q̄ c (p(u)/q(u))ᵏ contains u², u⁻² or some 1/(u − b), or is R9's involution space

Initializing...

For u ∉ Q̄ and coprime p, q ∈ Q̄[X]: a five-dimensional Q̄ + Q̄u + Q̄u⁻¹ + Σ Q̄ c (p(u)/q(u))ᵏ contains u², u⁻² or some 1/(u − b), or is R9's involution space · Prove2Me