At a candidate u with u, w₁…w_m algebraically independent over Q̄, every 2×2 configuration in Q̄ + Q̄u + Q̄ū + ΣQ̄w_k has, in every row and every column, an entry outside the Q̄-span of the logarithms

Initializing...

At a candidate u with u, w₁…w_m algebraically independent over Q̄, every 2×2 configuration in Q̄ + Q̄u + Q̄ū + ΣQ̄w_k has, in every row and every column, an entry outside the Q̄-span of the logarithms · Prove2Me