Комбинаторные леммы и симплициальные отображения

Показано, что известные комбинаторные леммы Шпернера и Таккера являются частными случаями следующей теоремы: если $K^n$ и $M^n$ – симплициальные псевдомногообразия и $f\colon K^n\to M^n$ – симплициальное отображение, переводящее границу $\partial K^n$ в границу $\partial M^n$, то степени отображения $f$ и его сужения на $\partial K^n$ равны между собой.