יחסים בין זוויות וחשבון קטעים

קודקודיות, צמודות ומשלימות; מתאימות, מתחלפות וחד-צדדיות בין מקבילים; וחיבור וחיסור קטעים — כל הנימוקים שכל הוכחה בגיאומטריה נשענת עליהם.