For u ∉ Q̄ and real algebraic s with s² = uū, the cyclic space with double poles at ±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 cyclic space with double poles at ±s is conjugation-stable, spanned by a 2×3 configuration and invisible to Theorem B · Prove2Me