For u ∉ Q̄ with |u| = s algebraic and g = a₁/(u − a) + a₂/(u + a), |a| ≠ s, a₁ ≠ a₂: span{1, u, u⁻¹, g, ḡ} is conjugation-stable, spanned by a 2×3 configuration, invisible to Theorem B

Initializing...

For u ∉ Q̄ with |u| = s algebraic and g = a₁/(u − a) + a₂/(u + a), |a| ≠ s, a₁ ≠ a₂: span{1, u, u⁻¹, g, ḡ} is conjugation-stable, spanned by a 2×3 configuration, invisible to Theorem B · Prove2Me