Piotr MaÄ‡kowiak**A combinatorial lemma ant it's consequences**

During this seminar we shall introduce a combinatorial lemma stating the existence for particular triangulations of the -dimensional simplex with a particular labeling of vertices of such triangulations with numbers of a chain of simplices connecting a "vartex" with a "base" such that for any simplex from that chain each element of the set is a label of some vertex of that simplex. We shall show, that (simple) consequences of this lemma are:

- the existence of zeros of the multidimensional function of excess demand
- the existence of continuum zeros of the parametrised multidimensional function of excess demand
- the well-known Sperner lemma