For u ∉ Q̄ and real algebraic s with s² = uū, the span of 1, u, ū, f, f/(s + u), f = u²/s² + s²/u², is conjugation-stable with a 2×3 configuration that no Q̄ + Q̄u + Q̄ū + Q̄w inside it carries

Initializing...

For u ∉ Q̄ and real algebraic s with s² = uū, the span of 1, u, ū, f, f/(s + u), f = u²/s² + s²/u², is conjugation-stable with a 2×3 configuration that no Q̄ + Q̄u + Q̄ū + Q̄w inside it carries · Prove2Me