30.6. THE DIVERGENCE THEOREM 1079

It is clear n is unique H n−1 a.e. since if there were two, then a simple manipulationshows for all such F, ∫

∂Ω

F·(n−n1)dH n−1 = 0

Thus n−n1 = 0 a.e.