מה זה משפט ההתאמה במתמטיקה?

שואל השאלה:
זה כאילו שאם שתי גדלים שווים לגודל שלישי הם שווים ביניהם, על *כל* הנובע מכך?