La demostración del segundo teorema requiere traducir el primero a una fórmula.