For u ∉ Q̄ with uū = ρ algebraic and a ∈ Q̄ non-zero with aā = ρ², the conjugation-stable space Q̄ + Q̄u + Q̄ū + Q̄·u/(u² − a) carries no 2×3 configuration

Initializing...

For u ∉ Q̄ with uū = ρ algebraic and a ∈ Q̄ non-zero with aā = ρ², the conjugation-stable space Q̄ + Q̄u + Q̄ū + Q̄·u/(u² − a) carries no 2×3 configuration · Prove2Me