Redirecting to Teichmüller–Tukey-lemma