theorem Th4: :: FUNCT_6:4

for f being Function holds
( curry f = curry' (~ f) & uncurry f = ~ (uncurry' f) )