His 1920 proof employed the axiom of choice, but he later (1922 and 1928) gave proofs using Kőnig's lemma in place of that axiom.
Његов доказ из 1920. године искористио је аксиому избора, али је касније (1922. и 1928. године) представио доказе користећи Кенигову лему уместо те аксиоме.