Sejam A e B dois subconjuntos de S={1,2,...,2000} com ∣A∣⋅∣B∣≥3999. Para um conjunto X , seja XX o conjunto {st∣s,t∈X,s=t}. Prove que (AA)∩(BB) não é vazio.