Two birds A and B are called /compatible/ if there is a bird x and a bird y (same or different) such that:

Ax = y
By = x

Prove that if conditions C1 (composition) and C2 (Mockingbird) hold, then any two birds are compatible