At a candidate u, with Roy's strong six exponentials theorem as hypothesis: if a₁ ≠ a₂ are algebraic with aᵢāᵢ = |u|⁴, then u/(u² − a₁) + u/(u² − a₂) ∉ ℒ̃

Initializing...

At a candidate u, with Roy's strong six exponentials theorem as hypothesis: if a₁ ≠ a₂ are algebraic with aᵢāᵢ = |u|⁴, then u/(u² − a₁) + u/(u² − a₂) ∉ ℒ̃ · Prove2Me