Sauer_Shelah_Lemma