Cuando el enunciado se ejecuta, puede asumirse que la proposición de guarda es verdadera.