6 Enteros positivos $k, n$ y subconjuntos $A_1, A_2, ..., A_k$ del conjunto $\{1, 2, ..., 2n\}$ están dados. Diremos que un par de números $x, y$ es bueno, si $x<y$, $x, y\in \{1, 2, ..., 2n\}$ y existe exactamente un índice $i\in \{1, 2, ..., 2n\}$, para el cual exactamente uno de $x, y$ pertenece a $A_i$. Demuestra que hay a lo más $n^2$ pares buenos.