The divergence theorem states that a continuously differentiable vector field on a bounded region satisfies
with outward unit normal and a sufficiently regular boundary; piecewise smooth boundaries are also allowed. For with constant , the left side is and the right side is . Equality for every constant vector gives the gradient volume-to-boundary identity
For the cone and its cap, the volume has and in cylindrical coordinates. Its volume is . Since ,
The cap at has area , outward normal and , so its contribution to the surface integral is .
Parameterize the side by , , . The outward vector area element is
pointing radially outward and downward from the region above the cone. The radial part integrates to zero around the circle. The vertical part of the side integral is
Adding cap and side gives
The apex and circular rim have zero surface area. Alternatively, removing a tiny apex neighborhood and taking its radius to zero justifies applying the smooth-boundary theorem there; the additional flux vanishes because the scalar field is bounded.