A set \( S = \{1, 2, 3, \ldots, n\} \) is partitioned into \( n \) disjoint subsets \( A_1, A_2, \ldots, A_n \), each containing four elements. It is given that in each subset, one element is the arithmetic mean of the other three. Which of the following statements is true?