==> geometry/bisector.p <==
Prove if two angle bisectors of a triangle are equal, then the triangle is
isosceles (more specifically, the sides opposite to the two angles
being bisected are equal).