一個公司里有 n 個員工，其中某些員工之間有「好友」的關係（這是一個對稱的關係）。每天早晨來到公司，員工們都會從茶和咖啡中選擇一樣作為早飲。此時，每個員工都會觀察自己的朋友們都在喝啥：如果超過一半的人都在喝茶，第二天他自己也會跟著喝茶；如果超過一半的人都在喝咖啡，第二天他自己就會跟著喝咖啡；如果喝茶喝咖啡的人數各佔一半（僅當他有偶數個朋友時才會發生這種情況），則第二天他的決策不變，繼續喝自己今天喝的東西。
由於 n 個員工一共只能產生 2n 種不同的早飲組合，因此總有一天大家喝的東西會和過去的某一天一模一樣，從而產生循環。證明：循環的長度不超過 2 。