נסיון לפתרון
לכל היותר יש B עכברים שאינם צאצאים זה של זה (אם יש יותר מB שאינם צאצאים זה של זה התנאי מתקיים) כל אחד מה B יהיה ראש קבוצה (אם יש פחות מ B כאלו אזי ניצור פחות מ B קבוצות אבל מובטח שאין יותר מ B קבוצות) בכל קבוצה נציב את צאצאי אותו B או את מי שהוא אב של B(אם B הוא הצאצא אז אביו הוא ראש הקבוצה). בכל קבוצה יש לכל היותר A עכברים אחרת מתקיים התנאי. כיוון שיש AB+1 עכברים קיימת קבוצה שבה יש יותר מ A עכברים ולכן התנאי מתקיים.
לכל היותר יש B עכברים שאינם צאצאים זה של זה (אם יש יותר מB שאינם צאצאים זה של זה התנאי מתקיים) כל אחד מה B יהיה ראש קבוצה (אם יש פחות מ B כאלו אזי ניצור פחות מ B קבוצות אבל מובטח שאין יותר מ B קבוצות) בכל קבוצה נציב את צאצאי אותו B או את מי שהוא אב של B(אם B הוא הצאצא אז אביו הוא ראש הקבוצה). בכל קבוצה יש לכל היותר A עכברים אחרת מתקיים התנאי. כיוון שיש AB+1 עכברים קיימת קבוצה שבה יש יותר מ A עכברים ולכן התנאי מתקיים.