A line segment has finite length.
Is the length of perpendicular bisector of a line segment, finite or infinite?