Q32 Matemática  (IMO Shortlist 2002)

Seja um conjunto não vazio de inteiros positivos. Suponha que existam inteiros positivos e tais que - para cada o conjunto é um subconjunto de , e - os conjuntos e são disjuntos sempre que Prove que