n in NAT by ORDINAL1:def 12;
then [n,n] in [:NAT,NAT:] by ZFMISC_1:87;
then [n,n] in dom multnat by FUNCT_2:def 1;
then n in dom (curry multnat) by FUNCT_5:19;
hence ( (curry multnat) . n is Function-like & (curry multnat) . n is Relation-like ) by FUNCT_5:30; :: thesis: verum