Set dissimilarity

Let's keep this one in its original, theoretical form.

Let \(n \in \mathbb{N}^\times\) and let \(A_1,A_2,\dots,A_n\) be \(n\) distinct subsets of \(\{1,2,\dots,n\}\). Prove that there exists an element \(x\in\{1,2,\dots,n\}\) such that \(A_1\setminus\{x\},A_2\setminus\{x\},\dots,A_n\setminus\{x\}\) remain \(n\) distinct sets.

Consider a graph, where every set \(A_i\) is a vertex and two vertices are connected if and only if their symmetric difference is a singleton \(\{x\}\) for a certain \(x\in\{1,2,\dots,n\}\). If such an arc arises, it will be given weight \(x\). The question now transforms into: prove that not all possible weights occur in the graph.
In each cycle of this graph, there has to exist a weight that occurs at least twice. In this way, one can delete an arc of this weight, resulting in a graph with the same number of different weight occurrences, but less cycles. Repeating this process, we end up with an acyclic graph with equally many different weights as the original graph. In graph theory, it is known that an acyclic graph with \(n\) vertices contains at most \(n-1\) arcs.

Remarks? Want to submit your own solution? Don't hesitate to send me an email!