ÖMO 2021 Problem 6

Let $p$ be an odd prime number and $M$ a set derived from $\frac{p^2 + 1}{2}$ square numbers. Investigate whether $p$ elements can be selected from this set whose arithmetic mean is an integer.

(Walther Janous)