theorem Th39: :: FUNCT_7:40

for x being object holds apply ({},x) = <*x*>