שאלה בקבוצות תהיינה A,B,C קבוצות. נתון שמתקיים שויון בין האיחוד של A ו-C לבין האיחוד של B ו-C, וכן שמתקיים שויון בין החיתוך ש A ו-C לבין החיתוך של B ו-C. הוכח ש-A ו-B שוות.