A bird x is called /egocentric/ if it is fond of itself: x's response to x is x.
x is egocentric iff xx = x

Prove that under conditions C1 and C2 (composition and Mockingbird, from the intro) at least one bird is egocentric