The bisector of an internal angle of a triangle divides the opposite side into proportional segments