For the same u, a₁, a₂, W = Q̄ + Q̄u + Q̄ū + Q̄u/(u² − a₁) + Q̄u/(u² − a₂) carries a 2×3 configuration, while no Q̄ + Q̄u + Q̄ū + Q̄w with w ∈ W outside Q̄ + Q̄u + Q̄ū does

Initializing...

For the same u, a₁, a₂, W = Q̄ + Q̄u + Q̄ū + Q̄u/(u² − a₁) + Q̄u/(u² − a₂) carries a 2×3 configuration, while no Q̄ + Q̄u + Q̄ū + Q̄w with w ∈ W outside Q̄ + Q̄u + Q̄ū does · Prove2Me