The Lieb-Mattis theorem shows that, for the nonfrustrated spin-S Heisenberg antiferromagnet, the ground-state total spin is equal to |NA-NB|S, where NA and NB are the site numbers of two sublattices, respectively. For several J1-J2 clusters, we calculate their ground-state total spins by exact diagonalization, and find that the conclusion of Lieb and Mattis is valid as long as Néel order exists. Frustrations which are not able to destroy Néel order cannot change the value of the ground-state total spin. Also, our calculations show that if the ground-state total spin does not abide by the conclusion of Lieb and Mattis, the ground state has no Néel order. For a J1-J2 system of large enough size, those states which have total spins between |NA-NB|S and the lowest possible total spin are not able to become the ground state for arbitrary strength of frustration. To study the phase transition of the J1-J2 model from Néel order to spin disorder, in some respects, the cluster with the geometric shape shown in this paper may be a better choice than usual n×n clusters since it can directly give the rather accurate critical ratio J2/J1.