A combinatorial proof of Tucker's lemma for the n-cube

Bacon, 1966, Equivalent Formulations of the Borsuk-Ulam Theorem, Canad. J. Math., 18, 492, 10.4153/CJM-1966-049-9 Fan, 1952, A Generalization of Tucker's Combinatorial Lemma with Topological Applications, Ann. Math., 56, 431, 10.2307/1969651 Fan, 1960, Combinatorial Properties of Certain Simplicial and Cubical Maps, Arch. Math., 11, 368, 10.1007/BF01236961 Kuhn, 1960, Some Combinatorial Lemmas in Topology, IBM J. Res. Devel., 4, 518, 10.1147/rd.45.0518 Lefshetz, 1949 Tucker, 1945, Some Topological Properties of Disk and Sphere, 285