  The Green's functions are constructed and a one-loop calculation is given for
the scalar and vector densities and for the equation of state of nuclear matter
with a Bose condensate of dibaryons. This is the lowest approximation in the
loop expansion of quantum hadrodynamics, sufficient to account for the presence
of dibaryons not in the condensate in the heterophase nucleon-dibaryon matter.
It leads to a finite effective nucleon mass and remains consistent with
increasing the density.
