Las parte que dice que p divide "B" si "G" no es trivial es el aporte de Herbrand.