For u transcendental over a subfield K of ℂ, span_K{u^s : s ∈ {0, ±1} ∪ {±4^j : j ≥ 1}} carries no 2×3 configuration

Initializing...

For u transcendental over a subfield K of ℂ, span_K{u^s : s ∈ {0, ±1} ∪ {±4^j : j ≥ 1}} carries no 2×3 configuration · Prove2Me