For u ∉ Q̄ and real algebraic s with s² = uū, with f = u²/s² + s²/u²: 1, u, ū, f, f/(s + u) are free and their span contains none of u², ū², 1/(u − b)

Initializing...

For u ∉ Q̄ and real algebraic s with s² = uū, with f = u²/s² + s²/u²: 1, u, ū, f, f/(s + u) are free and their span contains none of u², ū², 1/(u − b) · Prove2Me