For u ∉ Q̄ and real algebraic s with s² = uū, the span of 1, u, ū, u³/s³ + u²/s², ū³/s³ + ū²/s² is five-dimensional and contains none of u², ū², 1/(u − b)

Initializing...

For u ∉ Q̄ and real algebraic s with s² = uū, the span of 1, u, ū, u³/s³ + u²/s², ū³/s³ + ū²/s² is five-dimensional and contains none of u², ū², 1/(u − b) · Prove2Me