For u algebraically independent of π on a circle of algebraic radius, no 2×2 configuration with Q̄-independent pairs lies over Q̄u + Q̄ū + Q̄iπ

Initializing...

For u algebraically independent of π on a circle of algebraic radius, no 2×2 configuration with Q̄-independent pairs lies over Q̄u + Q̄ū + Q̄iπ · Prove2Me