let x be a p-element set and let y be a k-element set. prove that the number of functions f : x ~ y which map x onto y equals kis(p,k)