Câu hỏi 15
Martha là một con gà sống trong một chuồng có hữu hạn con gà với một “thứ bậc mổ nhau” xác định: với mỗi cặp gà phân biệt, đúng một con mổ con kia. (Tuy nhiên, không nhất thiết rằng nếu $X$ mổ $Y$ và $Y$ mổ $Z$ thì $X$ mổ $Z$.) Một con gà $X$ được gọi là “thủ lĩnh” của chuồng nếu mọi con gà khác đều bị $X$ mổ hoặc bị một con gà do $X$ mổ mổ. Chứng minh rằng nếu không có con gà nào trong chuồng mổ nhiều con gà hơn Martha thì Martha là một thủ lĩnh.