Q13 Matemática (IMO Shortlist 1977)
Seja um conjunto de sequências, cada uma com termos iguais a ou . O produto de duas dessas sequências e é definido como . Prove que existe uma sequência tal que a interseção de e o conjunto contendo todas as sequências de multiplicado por contém no máximo sequências.