At a candidate u, with Roy's strong six exponentials theorem as hypothesis: u/(u² − a) ∉ ℒ̃ for every non-zero algebraic a with aā ≠ |u|⁴, and u/(u² − a)² ∉ ℒ̃ when aā = |u|⁴

Initializing...

At a candidate u, with Roy's strong six exponentials theorem as hypothesis: u/(u² − a) ∉ ℒ̃ for every non-zero algebraic a with aā ≠ |u|⁴, and u/(u² − a)² ∉ ℒ̃ when aā = |u|⁴ · Prove2Me