De esta expresión junto con la condición se concluye: