אם הוכחתי ששתי צלעות במשולש שוות, ואני רוצה לכתוב שהוא מש"ש המשפט הוא: משולש ששתיים מצלעותיו שוות הוא משולש שווה שוקיים?

כן את יכולה לכתוב את זה

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