triangle inequality, Pythagoras theorem