for X, Y being finite set
for x, y being set st not x in X & y in Y holds
card (Funcs (X,Y)) = card { F where F is Function of (X \/ {x}),Y : F . x = y }