theorem Th3: :: CARD_FIN:4

for X, Y being finite set st ( Y = {} implies X = {} ) holds
card (Funcs (X,Y)) = (card Y) |^ (card X)