Under the n = 2 case of Kirby's weak Schanuel conjecture, every candidate u has Re u ≠ 0 and Im u ∈ πℚ, Im u ≠ 0

Initializing...

Under the n = 2 case of Kirby's weak Schanuel conjecture, every candidate u has Re u ≠ 0 and Im u ∈ πℚ, Im u ≠ 0 · Prove2Me