Schmeidler's lemma