Given a simplicial complex \(S\), and a a coloring \(f\) on it, we say that \(f\) is a Sperner coloring of \(S\) if \(f(x) \neq i\) if \(x\) belongs to the \(i\)-th face (that with zero \(i\)-th coordinate).