i in INT by INT_1:def 2;
then [i,i] in [:INT,INT:] by ZFMISC_1:87;
then [i,i] in dom multint by FUNCT_2:def 1;
then i in dom (curry multint) by FUNCT_5:19;
hence ( (curry multint) . i is Function-like & (curry multint) . i is Relation-like ) by FUNCT_5:30; :: thesis: verum