# Evaluacion Prolog directa del Markdown - ES_46_RV6

## Veredicto

**TEOREMA DERIVADO DESDE PREMISAS DECLARADAS**

Certificados estructurales: 7/7. Refutaciones: 0.
Alcance: cierre de dependencias bajo premisas declaradas; no certificacion matematica global.

Entrada unica: `ES_46_RV6.md`
Nodos extraidos: `39`
Reglas Deps extraidas: `7`
Premisas declaradas: `32`
Lineas matematicas extraidas: `845`
Dependencias recuperadas del texto de prueba: `5`
SHA-256 del Markdown: `658438ebb7686582224ed865ad561661c0e03e58974c14b31f8389ccfa9d90f1`
SHA-256 del auditor: `a9ad83b7361bf9b2bd40247fa7733d2fa85011c8c93cac3a506d1dc1d400b8ed`

## Teoremas

- `T_ISO`: **DERIVADO**
- `T_RIEMANN`: **DERIVADO**

## Obligaciones abiertas

- Ninguna.

## Dependencias recuperadas de la prueba

- `D_LAP` usa `P_F3` en la linea `1129`
- `P_VR_RHO` usa `P_VED_E` en la linea `1643`
- `P_VR_E` usa `P_VR_RHO` en la linea `1763`
- `T_RIEMANN` usa `D_RHO_R` en la linea `1855`
- `T_RIEMANN` usa `P_VR_RHO` en la linea `1855`

## Premisas usadas por el objetivo

- `D_F` declarada en la linea `1425`
- `D_FINV` declarada en la linea `1453`
- `P_Z` declarada en la linea `1807`
- `D_RHO_R` declarada en la linea `1356`
- `P_VED_E` declarada en la linea `419`

## Arbol de prueba

```text
    TEOREMA t_riemann por Deps (linea 1827)
      TEOREMA t_iso por Deps (linea 1481)
        PREMISA_MD d_f (linea 1425)
        PREMISA_MD d_finv (linea 1453)
      TEOREMA p_rho_iso por Deps (linea 1497)
        TEOREMA t_iso por Deps (linea 1481)
          PREMISA_MD d_f (linea 1425)
          PREMISA_MD d_finv (linea 1453)
      TEOREMA p_rim_s por Deps (linea 1548)
        TEOREMA t_iso por Deps (linea 1481)
          PREMISA_MD d_f (linea 1425)
          PREMISA_MD d_finv (linea 1453)
        TEOREMA p_rho_iso por Deps (linea 1497)
          TEOREMA t_iso por Deps (linea 1481)
            PREMISA_MD d_f (linea 1425)
            PREMISA_MD d_finv (linea 1453)
      PREMISA_MD p_z (linea 1807)
      PREMISA_MD d_rho_r (linea 1356)
      TEOREMA p_vr_rho por Deps (linea 1643)
        PREMISA_MD p_ved_e (linea 419)
```

## Alcance

Lee exclusivamente el Markdown y comprueba las reglas Deps, las referencias explicitas de la prueba y las premisas declaradas. Certifica la derivacion interna de T_RIEMANN en ese sistema; no convierte automaticamente cada premisa declarada en verdad matematica externa.