Usando las propiedades de norma, se verifica que la definición anterior tiene