Câu hỏi 162
Cho $A_{1}, A_{2}, \ldots, A_{n}, B_{1}, B_{2}, \ldots, B_{n}$ là các tập hợp, mỗi tập có $k$ phần tử. Chứng minh rằng nếu $n \lt 2^{k-1}$ thì tồn tại các phần tử $a_{1}, a_{2}, \ldots, a_{n}, b_{1}, b_{2}, \ldots, b_{n}$ sao cho:
$$
a_{i} \in A_{i},\ b_{j} \in B_{j},\ a_{i} \neq b_{j}
$$
với mọi $1 \leqslant i, j \leqslant n$.
$$
a_{i} \in A_{i},\ b_{j} \in B_{j},\ a_{i} \neq b_{j}
$$
với mọi $1 \leqslant i, j \leqslant n$.