Kirby's weak Schanuel conjecture for n = 2, with Schanuel's conjecture over the kernel for n = 1 (trdeg Q(π, a, eᵃ) ≥ 2 for a ∉ 2πiQ), implies Diaz's conjecture

Initializing...

Kirby's weak Schanuel conjecture for n = 2, with Schanuel's conjecture over the kernel for n = 1 (trdeg Q(π, a, eᵃ) ≥ 2 for a ∉ 2πiQ), implies Diaz's conjecture · Prove2Me