For u ∉ Q̄ and coprime p, q ∈ Q̄[X]: if 1, u, u⁻¹ lie in the span of c, ch, ch², ck, chk with h = p(u)/q(u), then max(deg p, deg q) ≤ 2

Initializing...

For u ∉ Q̄ and coprime p, q ∈ Q̄[X]: if 1, u, u⁻¹ lie in the span of c, ch, ch², ck, chk with h = p(u)/q(u), then max(deg p, deg q) ≤ 2 · Prove2Me