theorem :: FUNCT_5:21

for f being Function
for x, y being object st [x,y] in dom f holds
y in dom (curry' f)