Локальные степени кубических отображений

Пусть $K^n$ и $M^n$ ($n\le4$) – кубические $n$-псевдомногообразия, имеющие когерентные ориентации, $f\colon K^n\to M^n$ – кубическое отображение и
$$ \{\tau_1^n,\tau_1^{n-1},\tau_2^n,\tau_2^{n-1},\dots,\tau_{p-1}^{n-1},\tau_p^n\} $$
– последовательность попеременно $n$- и $(n-1)$-кубов в $M^n$ такая, что каждый $(n-1)$-куб является общей гранью двух соседних $n$-кубов $\tau_i^n$ и $\tau_{i+1}^n$ последовательности ($i=1,\dots,p$). Куб $\tau_i^{n-1}$ ($i=1,\dots,p-1$) имеет ориентацию, индуцированную ориентацией $\tau_{i+1}^n$. Обозначим через $d(\tau^n)$ локальную степень отображения $f$ на кубе $\tau^n\in M^n$ и через $d(\tau_i^{n-1})$ локальную степень сужения $f\mid\partial K^n$ на кубе $\tau_i^{n-1}$. Доказана формула разности
$$ d(\tau_p^n)-d(\tau_1^n)=\sum_{i=1}^{p-1}d(\tau_i^n-1) $$
и получены следствия этой формулы.