theorem :: FUNCT_5:71

for A, B, C being non empty set
for f being Function of A,(Funcs (B,C)) holds curry (uncurry f) = f