Combinatorial lemmas in higher dimensions