Q11 Matemática  (IMO Longlists 1982)

Sejam $3399$ números escolhidos arbitrariamente entre os primeiros $6798$ inteiros $1,2,\dots ,6798$ de tal forma que nenhum deles divida o outro. Prove que existem exatamente $1982$ números em $\{1,2,\dots ,6798\}$ que devem ser escolhidos.