Aplicando la tercera propiedad se tiene que: