theorem Th50: :: FUNCT_7:51

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