Q34 Matemática  (IMO Shortlist 2001)

Um conjunto de três inteiros não negativos com é chamado de histórico se . Mostre que o conjunto de todos os inteiros não negativos pode ser escrito como a união de conjuntos históricos disjuntos aos pares.