برای اثبات هم‌نهشتی دو مثلث مقابل فرض و حکم را بنویسید. (O مرکز دایره است) [شکل: دایره‌ای شامل دو مثلث OAD و OBC که در نقطه O یکدیگر را قطع کرده‌اند. زاویه‌های A و B قائمه هستند. نقاط A و B روی دایره قرار دارند و قطعه خط‌های OA و OB و OD و OC برچسب‌گذاری شده‌اند.]