איך משתמשים בזה בהוכחה

כשכתוב בנתונים «$ABCD$ מקבילית», כל ארבע התכונות זמינות. לא מוכיחים אותן שוב.

הנימוק נכתב בשם התכונה: «הצלעות הנגדיות במקבילית שוות».