There is also another theorem like this, which states that there will never be two king chickens. If you think about this one, you will see that if two king chickens exist that one king must have beat the other. So lets say that x beats y. But, if we do this, then we will see that in order for x to be a king it must have lost to to someone (specifically a king). Thus there must be at least one more additional king.