For u ∉ Q̄ and coprime p, q ∈ Q̄[X]: if Q̄ + Q̄u + Q̄u⁻¹ + Σ Q̄ c (p(u)/q(u))ᵏ (k ≤ 3) is five-dimensional, then max(deg p, deg q) ≤ 2

Initializing...

For u ∉ Q̄ and coprime p, q ∈ Q̄[X]: if Q̄ + Q̄u + Q̄u⁻¹ + Σ Q̄ c (p(u)/q(u))ᵏ (k ≤ 3) is five-dimensional, then max(deg p, deg q) ≤ 2 · Prove2Me