y por lo tanto, se verifica siempre que: