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