אם נתון לי ששני קטעים שווים, נגיד ab=bc ונתון לי גם שיש לי שתי נקודות שונות על אמצע הקטעים, נגיד o ו m

חצאי גדלים שווים שווים ביניהם

זה פשוט המשפט המדוייק לזה
זה כמו שכדאי להוכיח שבמקבילית צלעות נגדיות שוות את תעשי את כל ההוכחה במקום פשוט להשתמש במשפט

שואל השאלה:
מה יותר נכון?

חצאי גדלים שווים שווים ביניהם פשוט

כן