שלב 8 מתוך 20
הוכחת חפיפה נכתבת בטבלה של טענה ונימוק. בצ.צ.צ צריך שלוש שורות של צלעות, כל אחת עם הנימוק שלה, ושורה רביעית של המסקנה.