A Line Has A Segment With Endpoints