Q7 Matemática (Tournament Of Towns 1983)
Prove que em qualquer conjunto de números naturais distintos pode-se encontrar cinco números de modo que quatro deles sejam divisíveis no outro ou cinco números nenhum dos quais é divisível em nenhum outro. (Um teorema estabelecido)