IMO 1982 LL POL42

Origin: POL

Problem

Let F be the family of all k-element subsets of the set {1, 2, . . ., 2k + 1}. Prove that there exists a bijective function f : F \toF such that for every A \inF, the sets A and f(A) are disjoint.