結果 : segment addition postulate non example