Triangle inequality theorem