It is well known that a group can not be union of two proper subgroups. For finite $p$-groups, we can say more:
A finite $p$-group can not be union of $p$ proper subgroups.
Moreover,
Theorem. If $G$ is a non-cyclic finite $p$-group, which is union of $p+1$ proper subgroups $A_1,A_2,\dots, A_{p+1}$, then $A_i$'s are maximal and $\cap_{i=1}^{p+1} {A_i}$ has index $p^2$ in $G$.
(See Berkovich, Groups of Prime power order, vol. 3, Chapter on "Groups covered by few proper subgroups".)
The problem, I want to post is to understand its proof; the main obstacle in my understanding is a set theoretic statement; it may be simple, but I couldn't understand. The proof is as follows:
Proof: Let $|G|=p^{n}$. Then $G=\cup_{i=1}^{p+1} A_i= A_{p+1}\cup (A_1 - A_{p+1})\cup (A_2-A_{p+1})\cup \cdots \cup (A_p-A_{p+1})$. Comparing sizes,
$|G|\leq p^{n-1} + [(p^{n-1}-p^{n-2})+ (p^{n-1}-p^{n-2})+\cdots (p^{n-1}-p^{n-2})]_{p-\text{times}}=p^n=|G|$,
hence the above union (before comparing sizes) is disjoint, and $A_i$'s should be maximal.
(Next, the author of the book says:) It follows that $A_i\cap A_{p+1}=A_j\cap A_{p+1}$ for $i,j<p+1$.
Question: Why $ A_i\cap A_{p+1}=A_j\cap A_{p+1}$ for $i,j<p+1$?