theorem Th44: :: FUNCT_7:45

for X being set
for f being Function holds compose (<*f*>,X) = f * (id X)