אני רוצה להוכיח ששני גדלים שווים זה לזה.

הוכחתי שגודל אחד הוא שליש מגודל אחר והוכחתי שגם הגודל השני שווה שליש מגודל אחר ושני ה"גדלים האחרים" שווים זה לזה.
מכאן נובע שהגדלים שרציתי להוכיח שווים זה לזה.
מה הנימוק הלוגי?