theorem :: FUNCT_2:127

Funcs ({},{}) = {(id {})}