At a candidate u, with Roy's strong six exponentials theorem as hypothesis: for 4 ≤ k < l with l ∈ {k+1, k+2, 2k−1, 2k, 2k+1, 3k}, u^k and u^l are not both in ℒ̃

Initializing...

At a candidate u, with Roy's strong six exponentials theorem as hypothesis: for 4 ≤ k < l with l ∈ {k+1, k+2, 2k−1, 2k, 2k+1, 3k}, u^k and u^l are not both in ℒ̃ · Prove2Me