For u ∉ Q̄ and real algebraic s with s² = uū, the span of 1, u, ū, u³/s³ + u²/s², ū³/s³ + ū²/s² is conjugation-stable, spanned by a 2×3 configuration, and invisible to Theorem B

Initializing...

For u ∉ Q̄ and real algebraic s with s² = uū, the span of 1, u, ū, u³/s³ + u²/s², ū³/s³ + ū²/s² is conjugation-stable, spanned by a 2×3 configuration, and invisible to Theorem B · Prove2Me