שלב 3 מתוך 23
כל שורה בהוכחה היא טענה ונימוק. הטענה היא מה שקובעים; הנימוק הוא נתון, הגדרה או משפט שכבר הוכח.