By Stokes theorem, , hence
|
|
|
Consider now . Since has measure coefficients, this
simply means that is integrable with respect to the total variation
of these measures. Assume first ,
and are smooth. Then
|
|
|
Now it follows from Stokes theorem that
|
|
|
|
|
|
where the forelast inequality follows from
and . This yields
|
|
|
The general case follows by regularizing ,
observing that
where , and decomposing
with .
∎