Чтобы доказать равенство двух равнобедренных треугольников TOS и DEF с основаниями TS и DF соответственно, достаточно доказать, что:

• TS = DF
• ∠O = ∠E
• TS = DF и ∠T = ∠D