The total number of languages used in KAUST is $n$. For each positive integer $k \le n$, let $A_k$ be the set of all those people in KAUST who can speak at least $k$ languages; and let $B_k$ be the set of all people $P$ in KAUST with the property that, for any $k$ pairwise different languages (used in KAUST), $P$ can speak at least one of these $k$ languages. Prove that (a) If $2k \ge n + 1$ then $A_k \subseteq B_k$ (b) If $2k \le n + 1$ then $A_k \supseteq B_k.$ Nguyễn Duy Thái Sơn