Supplementary combinatorial lemmas