Projections of k-simplex onto the subsimplices of arbitrary type are derivations

The aim of this paper is to prove that there is a projection of an arbitrary k-simplex onto (m - l)-subsimplex, where 1 < l < m < k - 1, which is a derivation.