Show that if f is a function from S to T, where S and T are nonempty finite sets and m = [|S| / |T|], then there are at least m elements of S mapped to the same value of T. That is, show that there are distinct elements s1, s2, . . . , sm of S such that f (s1) = f (s2) = · · · = f (sm).