در شکل زیر دو مثلث قائم‌الزاویه $ABC$ و $AB'C'$ مساوی‌اند. ثابت کنید $BC' = B'C$. [شکل: دو مثلث قائم‌الزاویه هم‌نهشت $ABC$ و $AB'C'$ که در رأس $A$ مشترک هستند و اضلاع $AC$ و $AC'$ با هم برابرند و همچنین $AB$ و $AB'$ با هم برابرند.]