y luego la primera propiedad tenemos que: