We say that bird A is /fond/ of bird B if the response of A to B is B:
AB = B
In normal math terms: B is a fixed point of A

The forest satisfies the following 2 conditions:
1) C1: the composition condition
2) Mockingbird M exists

Prove that every bird in the forest is fond of at least one bird