Suppose that condition C1 (composition) holds, prove that for any birds A, B and C there is a bird D such that for every bird x:
Dx = A(B(Cx))
This fact is useful

[Check the pinned post for quick reference to instructions & past questions]