theorem :: FUNCT_5:33

for x being object
for f being Function st x in dom (curry' f) holds
(curry' f) . x is Function by Th23;