הוכחה.
נחלק את המעגל באורח שרירותי לשלישיות עוקבות. נסמן למשל ירוק כ-0, ואדום כאחד. נניח, למשל, שכל הנקודות ירוקות, ואז המצב של כל השלישיות הוא: 000 000 000 . . . 000 עכשיו נשים לב, שבטור הימני ביותר יש לנו מספר זוגי של 1-ים (כי 0 הוא מספר זוגי), כנ"ל גם בטור האמצעי, וגם בטור השמאלי. אפשר לומר (אם נשתמש במונח מתחום המחשבים), שה-XOR של כל כל השלישיות הוא 000 (בכל פוזיציה, 0 מתאים למספר זוגי של 1-ים באותה פוזיציה, ו-1 מתאים למספר אי זוגי של 1-ים באותה פוזיציה). עכשיו, קל מאוד לבדוק, שכל היפוך צבעים שנבצע, יהפוך את ה-XOR ל-111. נגיד, למשל, שפגענו בדיוק בשלישיה כלשהי: 000 000 111 000 . . . 000 ואכן עכשיו יש לנו בכל עמודה מספר אי זוגי של 1-ים, כלומר ה-XOR הוא 111. נגיד שלא פגענו בדיוק בשלישיה, אלא הפכנו שלוש נקודות רצופות אחרות, למשל: 000 001 110 000 . . . 000 וכמו שאנו רואים: אותה תוצאה. בקיצור, בכל פעולת היפוך של שלוש נקודות רצופות, אנו משנים את זוגיות כמות ה-1-ים בכל העמודות, ולכן ה-XOR הכללי תמיד יהיה 000 ו-111 לסירוגין, ולכן לעולם לא נגיע למצב של: 100 000 000 . . . 000 שה-XOR שלו הוא 100.