  We study a class of overdetermined algebraic systems of equations. We prove
that the number of distinct solutions equals to the maximal possible if and
only if certain matrices are commuting and semisimple. This gives a
characterization of correct systems of points for multivariate Lagrange
interpolation.
