let $y_1,y_2, \dots, y_n$ be $n$ observational values from a variable $Y$ and let $\overline{y} := \frac{1}{n}\sum_{i=1}^n y_i$ denote the arithmetic mean of the observations. The zero-sum property can be written mathematically as:
$$0 = \sum_{i=1}^n (y_i - \overline{y}).$$
Proof: By definition of $\overline{y}$ we have $n\overline{y} = n\frac{1}{n}\sum_{i=1}^n y_i = \sum_{i=1}^n y_i$ and hence:
$$\sum_{i=1}^n (y_i - \overline{y}) = \sum_{i=1}^n y_i - n \overline{y} =n \overline{y} - n \overline{y}= 0.$$
Interpretation: Note that $(y_i - \overline{y})$ is essentially the "distance" between the observation $y_i$ and the arithmetic mean $\overline{y}$ where the information wether the observation is smaller or greater than the arithmetic mean is still preserved through the sign of $(y_i - \overline{y})$ (of course, the distance itself would have to be nonnegative and would be $|y_i-\overline{y}|$).
The zero sum property can then be interpreted, that the arithmetic mean is the number $\overline{y}$ such that observational values of $Y$ which are smaller than $\overline{y}$ and the values of $Y$ which are larger than $\overline{y}$ keep in balance, i.e. they sum up to zero.
In fact it is easy to see from the proof that it is the only number for which this property holds.
You could obviously use this property to check if the calculations of the mean were correct.