El resultado es el teorema de las operaciones anunciados en la sección 6.3.1.