theorem Th1: :: ISOCAT_2:1

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