theorem :: FUNCT_5:23

for f being Function holds dom (curry' f) = proj2 (dom f)