Let A and B be sets of positive integers with ∣A∣≥2 and ∣B∣≥2. Let S be a set consisting of ∣A∣+∣B∣−1 numbers of the form ab where a∈A and b∈B. Prove that there exist pairwise distinct x,y,z∈S such that x is a divisor of yz. combinatoricscombinatorics proposed