For u ∉ Q̄ and real algebraic s with s² = uū: the two-orbit space with |a| = |b| = s and β/α, δ/γ real is stable under complex conjugation

Initializing...

For u ∉ Q̄ and real algebraic s with s² = uū: the two-orbit space with |a| = |b| = s and β/α, δ/γ real is stable under complex conjugation · Prove2Me