theorem Th12: :: FUNCT_5:19

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