Las siguientes propiedades del largo de un vector que siguen de forma inmediata de la definición.