Combinatorial integer labeling theorems on finite sets with an application to discrete systems of nonlinear equations / Gerard van der Laan, Dolf Talman, Zaifu Yang