What is an example of a real world situation that implies the perpendicular bisector theorem?