theorem Th46: :: FUNCT_7:47

for x being object
for f being Function holds apply (<*f*>,x) = <*x,(f . x)*>