The Tychonoff product theorem implies the axiom of choice
Tom 37 / 1950
Fundamenta Mathematicae 37 (1950), 75-76
DOI: 10.4064/fm-37-1-75-76
