for A, B being set st A is finite & B is finite holds
Funcs (A,B) is finite ;