theorem Th74: :: MONOID_0:74

for X being set holds the multF of (GFuncs X) = (X -composition) || (Funcs (X,X))