VI.3 - Prove that a bisector of a triangle’s angle divides the opposite side proportionally to the adjacent sides, and conversely that if the base is divided in that ratio, the joining line bisects the angle