"Since p is a point on the line segment AB, AB > AP" . . . .