En el caso en que sea verdadero,