Weak König's lemma implies Brouwer's fan theorem: a direct proof
scientific article; zbMATH DE number 5127271