Para todo x, y de un espacio euclídeo se cumple que