Steiner-Lehmus Theorem

Theorem
Let $ABC$ be a triangle.

Denote the lengths of the angle bisectors through the vertices $A$ and $B$ by $\omega_\alpha$ and $\omega_\beta$.

Then, if $\omega_\alpha = \omega_\beta$, $ABC$ is an isosceles triangle.