theorem Th23: :: FUNCT_5:30

for x being object
for f being Function st x in dom (curry f) holds
(curry f) . x is Function