Segment addition postulate

Redirect to:

  • Triangle inequality