Subcontests
(5)1988 USAMO Problem 3
A function f(S) assigns to each nine-element subset of S of the set {1,2,…,20} a whole number from 1 to 20. Prove that regardless of how the function f is chosen, there will be a ten-element subset T⊂{1,2,…,20} such that f(T−{k})=k for all k∈T.