Conjecture about funcoids proved

I’ve proved this my conjecture:

for every composable funcoids and .

See my book (in the current draft the theorem 6.65) for a proof.