theorem :: FUNCT_5:27

for f being Function st ( for x, y being object holds not [x,y] in dom f ) holds
( curry f = {} & curry' f = {} )