Olkoot A ja B äärellisen monen alkion joukkoja. Joukossa A on m alkiota ja joukossa B on n alkiota. Olkoon S(m,n) surjektioiden A B lukumäärä. Tälle pätee

S(m, 1) = 1,
S(m,n) = nm -S(m,k), n = 2, 3,. . . .

Muodosta surjektioiden määrän osoittava taulukko, kun 1 < m < 5, 1 < n < 5. Onko itsestään selvää, mitkä taulukon alkiot ovat = 0? Miksi? Mitä lukuja ovat taulukon lävistäjäalkiot? Osaatko päätellä kaavojen pätevyyden?