Piotr MaćkowiakA combinatorial lemma ant it's consequences
(Continuation of the 2015-03-17 Nonlinear Seminar)