set g = curry' (uncurry f);
for x being set st x in dom (curry' (uncurry f)) holds
(curry' (uncurry f)) . x is Function by FUNCT_5:33;
hence curry' (uncurry f) is Function-yielding Function by FUNCOP_1:def 6; :: thesis: verum