Por un lado, se verifica que: