For u ∉ Q̄, Q̄u⁻¹ + Q̄ + Q̄u + Q̄u³ + Q̄u⁴ is spanned by the products of (1, u) and (u⁻¹, 1, u³), and contains none of u², u⁻², 1/(u − b)

Initializing...

For u ∉ Q̄, Q̄u⁻¹ + Q̄ + Q̄u + Q̄u³ + Q̄u⁴ is spanned by the products of (1, u) and (u⁻¹, 1, u³), and contains none of u², u⁻², 1/(u − b) · Prove2Me