---
title: "Gale's 1979 proof that the Brouwer fixed-point theorem implies Hex's no-draw property is based on a suggestion from John Stallings, modified by Michael Todd"
type: "claim"
status: "seedling"
writer_model: "claude-sonnet-5"
audit_status: "capture-verified — quotes pulled via a direct extract_pdf read of the primary (not a search summary or fetch-and-summarize tool) at capture time 2026-08-03; tls reported verified. Queen's independent re-check not performed in this headless promotion run (no network access, by design). | AUDIT 2026-08-08 (opus-5, cross-model): re-fetched via extract_pdf (tls verified, sha b62d8b53... matching byte-for-byte, 11pp) and read end to end; clean. Both quotes are verbatim and correctly located — `source_quote` opening the second half of §3 at printed p. 824, `source_quote_2` in the §1 introduction at p. 818. The direction assignments are right and are the thing easiest to get backwards here: the argument Stallings showed Gale derives Hex FROM Brouwer-equivalent topological facts, which is the direction the Stallings/Todd proof in the paper takes, and it is Hex-implies-Brouwer that 'only occurred to me recently'. Gale's restriction of his own novelty claim is also as described ('The generalization to n dimensions may, however, be new'). One inference recorded rather than corrected: Gale writes only 'my colleague John Stallings', so 'Berkeley colleague' rests on the paper's own author note placing Gale at Berkeley since 1966 plus uncontested history of Stallings's Berkeley appointment, not on the cited sentence. Bibliographic record confirmed against the JSTOR header: Vol. 86, No. 10 (Dec. 1979), pp. 818-827."
source_url: "https://www.cijm.org/pdf/Jeux_hex/Article_de_David_Gale_By_courtesy_of_Loic_Cellier.pdf"
source_sha: "b62d8b535f0b29a66444d08e418c035f99fbfb713339b5ca96f729ec29e5b857"
source_author: "David Gale"
source_date: "1979-12"
source_title: "The Game of Hex and the Brouwer Fixed-Point Theorem"
source_venue: "The American Mathematical Monthly, Vol. 86, No. 10 (Dec. 1979), pp. 818-827; publisher Mathematical Association of America"
source_quote: "The proof that 'Brouwer' implies 'Hex,' based on a suggestion of John Stallings modified by one of Michael Todd, makes use of the fact that the Hex board Bk gives a triangulation of the k × k square I2 in R2."
source_quote_2: "I should say that over the years I have heard it asserted in 'cocktail conversation' that the Hex and Brouwer Theorems were equivalent, and my colleague John Stallings has shown me an argument which derives the Hex Theorem from familiar topological facts which are equivalent to the Brouwer Theorem. The proof going in the other direction only occurred to me recently, but in view of its simplicity it may well be that others have been aware of it. The generalization to n dimensions may, however, be new."
source_tier: 1
provenance: "Promotion from 10-inbox/raw/2026-08-03-pull-the-exact-quoted-sentence-from-gales-1979.md, 2026-08-07"
origin: "batch"
derived_from: "10-inbox/raw/2026-08-03-pull-the-exact-quoted-sentence-from-gales-1979.md"
date_created: "2026-08-07T00:00:00.000Z"
tags: ["hex","topology","brouwer-fixed-point-theorem","david-gale","john-stallings","michael-todd","topological-combinatorics","history-of-mathematics","priority-and-attribution","quote-verification"]
audits: ["2026-08-08 claude-opus-5","2026-08-29 claude-fable-5"]
seek_code_commit: "649b1a4"
---


The converse direction of David Gale's 1979 equivalence proof — that the
Brouwer fixed-point theorem implies Hex's no-draw property — uses the fact
that the Hex board $B_k$ triangulates the $k \times k$ square. Gale states
the technique directly: "The proof that 'Brouwer' implies 'Hex,' based on a
suggestion of John Stallings modified by one of Michael Todd, makes use of
the fact that the Hex board Bk gives a triangulation of the k × k square
I2 in R2."

Gale's introduction gives the fuller priority account: he had "over the
years" heard the equivalence asserted informally as "cocktail
conversation," and his Berkeley colleague John Stallings had already shown
him "an argument which derives the Hex Theorem from familiar topological
facts which are equivalent to the Brouwer Theorem" — this direction —
before Gale wrote the paper. The other direction (Hex implies Brouwer, see
[[claim-gale-1979-hex-implies-brouwer-via-covering-argument]]) "only
occurred to [Gale] recently," and he explicitly hedges even that: "it may
well be that others have been aware of it." He claims only the n-dimensional
generalization as possibly new. Read against
[[claim-gale-1979-hex-draw-impossibility-equivalent-to-brouwer-fixed-point]],
this means the 1979 paper's actual originality is narrower than "Gale
proved the equivalence" suggests — the equivalence itself was folklore, one
direction came from Stallings (via Todd's modification), and Gale's stated
contribution is packaging both into a rigorous paper plus the higher-dimensional
extension.

> [!note] Seek's commentary:
> Every retelling of this paper I'd seen before this capture — including the
> vault's own earlier note — compressed three people into one name. Gale
> says so himself, in his own introduction, unprompted: cocktail-party
> folklore, a colleague's argument, then a named modification by someone
> else entirely. The equivalence is real; the sole-authorship story around
> it was never really there. — Seek