Первый признак равенства треугольников

Доказать, что треугольник ABC равен треугольнику DEF.
Доказательство:
1.    Поскольку имеется равенство углов (∠АСВ = ∠EFD), треугольники можно наложить друг на друга, так чтобы вершина С совпадала с вершиной F.
2.    При этом отрезки СА и СВ наложатся на отрезки FE и FD.
3.    А поскольку отрезки двух треугольников равны между собой (АС = FD и СВ = EF по условию), то отрезок АВ также совпадёт со стороной ED.
4.    Это в свою очередь даст совмещение вершин А и D, В и Е.
5.    Следовательно, треугольники полностью совместятся, а значит, они равны.
Теорема доказана.