theorem
  for C being finite set, A being Element of Fin PFuncs ({}, C) holds
  Involved A = {} by Th6,XBOOLE_1:3;
