P
Initializing...
For u ∉ Q̄ with uū algebraic and deg P ≤ 1 or ≥ 4, no 2×3 configuration lies in the span of 1, u, ū, P(u), P(u)‾ · Prove2Me