Я имею в виду, что полезно (в реальном мире) уметь определить разными способами равенство треугольников; а вот процесс доказательства - бесполезен, как таковой. Но и от него, как я писал выше, есть польза, если его не зубрить, а обдумать и понять.

П.С. Заменить и ничего не сломается -- very sloppy thinking. В инженерии берётся коэффициент запаса процентов 20, уменьши на 5%, треугольники уже не равны, а всё равно, сука, ничего не ломается. :)