For u ∉ Q̄, real algebraic s with s² = uū, |λ| = 1 and real f, the span of 1, u, ū, f, f/(s + λu) is stable under conjugation and carries a 2×3 configuration

Initializing...

For u ∉ Q̄, real algebraic s with s² = uū, |λ| = 1 and real f, the span of 1, u, ū, f, f/(s + λu) is stable under conjugation and carries a 2×3 configuration · Prove2Me