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