Triangle inequality theorem​