
The short distance thm. states that the perpendicular segment from a point to a line is the shortest segment from the point to the line.

Also in 5.4 you have the corollary which states that the perpendicular segment from a point to a plane is the shortest segment from the point to the plane.
