לא מצליח לישון :( רפלקיסיביות - מיידי אנטי סימטריות - לא יכולה להיפגע כי נעשה חיתוך טרנזטיביות - כבר נדרשת הוכחה יותר רצינית אז יהיו זוגות aRb ו- bRc וaRc כלשהם נניח בשלילה שיחס החיתוך אינו טרנזטיבי- כלומר 2 הזוגות הראשונים נמצאים בחיתוך אבל הזוג aRc לא נמצא. אז מתקיים aSb bSc ולא מתקיים aSc בסתירה לטרנזטיביות של S המקרה ההפוך דומה (שמתחילים מ-S ומסיימים ב-R)