Both the proposition and its converse (“If IE = IF, then AB = AC”) are true, as equal sides yield matching bisector segments through symmetry and equal segments enforce isosceles side lengths.