notes on triangle inequality theorem and segment theorem