Teichmuller_Tukey_Lemma.Teichmuller_Tukey_Lemma