set a = curry f;
( dom f = [:X,Y:] & dom (curry f) = proj1 (dom f) ) by FUNCT_5:def 3, PARTFUN1:def 4;
then dom (curry f) = X by FUNCT_5:11;
hence curry f is X -defined by RELAT_1:def 18; :: thesis: verum