For u ∉ Q̄ and real algebraic s with s² = uū, the span of 1, u, ū, u³/s³ + u²/s², ū³/s³ + ū²/s² carries no 2×3 configuration whose ratio x₂/x₁ is a Möbius function of u

Initializing...

For u ∉ Q̄ and real algebraic s with s² = uū, the span of 1, u, ū, u³/s³ + u²/s², ū³/s³ + ū²/s² carries no 2×3 configuration whose ratio x₂/x₁ is a Möbius function of u · Prove2Me